Details

Time bar (total: 8.7s)

sample69.0ms

Algorithm
intervals
Results
23.0ms48×body1280valid
15.0ms43×body640valid
11.0ms142×body80valid
4.0ms15×body320valid
1.0msbody160valid

simplify1.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
045
1245
2525
3845
41475
53185
611105
done50005

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize13.0ms

Local error

Found 1 expressions with local error:

0.4b
(+ (sin x) (tanh x))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity add-log-exp
add-sqr-sqrt pow1 +-commutative sum-log flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ distribute-lft-out
Counts
1 → 12
Calls
1 calls:
16.0ms
(+ (sin x) (tanh x))

series195.0ms

Counts
1 → 3
Calls
1 calls:
194.0ms
(+ (sin x) (tanh x))

simplify1.0s

Counts
15 → 15
Iterations

Useful iterations: 2 (95.0ms)

IterNodesCost
052178
1135171
2407161
31426161
done5001161

prune99.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize20.0ms

Local error

Found 3 expressions with local error:

0.4b
(+ (sin x) (tanh x))
0.4b
(pow (+ (sin x) (tanh x)) 3)
22.0b
(cbrt (pow (+ (sin x) (tanh x)) 3))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
14×cbrt-prod
add-sqr-sqrt add-cube-cbrt
unpow-prod-down cube-prod
distribute-lft-out add-log-exp
cube-div pow1 add-cbrt-cube add-exp-log
pow-unpow flip3-+ flip-+
cube-mult cbrt-div unpow3 sqr-pow
pow-to-exp +-commutative sum-log pow-pow pow1/3 pow-exp rem-cbrt-cube rem-cube-cbrt
Counts
3 → 64
Calls
3 calls:
15.0ms
(+ (sin x) (tanh x))
30.0ms
(pow (+ (sin x) (tanh x)) 3)
21.0ms
(cbrt (pow (+ (sin x) (tanh x)) 3))

series620.0ms

Counts
3 → 9
Calls
3 calls:
176.0ms
(+ (sin x) (tanh x))
267.0ms
(pow (+ (sin x) (tanh x)) 3)
177.0ms
(cbrt (pow (+ (sin x) (tanh x)) 3))

simplify2.4s

Counts
73 → 73
Iterations

Useful iterations: 2 (385.0ms)

IterNodesCost
01101034
1333847
21783783
done5002783

prune259.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

regimes171.0ms

Accuracy

0% (0.2b remaining)

Error of 0.4b against oracle of 0.2b and baseline of 0.4b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
045
155
done55

end0.0ms

sample2.5s

Algorithm
intervals
Results
812.0ms1494×body1280valid
664.0ms1278×body640valid
530.0ms4283×body80valid
146.0ms623×body320valid
53.0ms322×body160valid