Details

Time bar (total: 6.2s)

sample27.0ms

Algorithm
intervals
Results
12.0ms334×body80valid

simplify3.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
165
done65

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(sqrt (+ (exp x) 1.0))
0.0b
(+ (exp x) 1.0)

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity
add-sqr-sqrt sqrt-prod add-log-exp
pow1 add-cube-cbrt
flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+ distribute-lft-out
+-commutative rem-sqrt-square sum-log sqrt-pow1 pow1/2
Counts
2 → 28
Calls
2 calls:
23.0ms
(sqrt (+ (exp x) 1.0))
18.0ms
(+ (exp x) 1.0)

series91.0ms

Counts
2 → 6
Calls
2 calls:
59.0ms
(sqrt (+ (exp x) 1.0))
32.0ms
(+ (exp x) 1.0)

simplify1.7s

Counts
34 → 34
Iterations

Useful iterations: 3 (515.0ms)

IterNodesCost
061297
1140271
2435260
31823253
done5000253

prune164.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1.0 (- 1.0 (exp x))) (exp (+ x x)))
0.0b
(+ (pow (exp x) 3) (pow 1.0 3))
0.0b
(pow (exp x) 3)
3.4b
(- 1.0 (exp x))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
10×add-sqr-sqrt add-log-exp
add-cube-cbrt
unpow-prod-down cube-prod
pow1 add-cbrt-cube distribute-lft-out
associate-+l+ pow-pow add-exp-log
pow-unpow exp-prod sub-neg
distribute-rgt-in +-commutative sum-log distribute-lft-in flip3-+ flip-+
cube-mult pow-to-exp flip3-- diff-log unpow3 pow-exp sum-cubes flip-- distribute-lft-out-- rem-cube-cbrt difference-of-squares sqr-pow
Counts
4 → 72
Calls
4 calls:
58.0ms
(+ (* 1.0 (- 1.0 (exp x))) (exp (+ x x)))
51.0ms
(+ (pow (exp x) 3) (pow 1.0 3))
9.0ms
(pow (exp x) 3)
14.0ms
(- 1.0 (exp x))

series223.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(+ (* 1.0 (- 1.0 (exp x))) (exp (+ x x)))
60.0ms
(+ (pow (exp x) 3) (pow 1.0 3))
52.0ms
(pow (exp x) 3)
28.0ms
(- 1.0 (exp x))

simplify2.2s

Counts
84 → 84
Iterations

Useful iterations: done (2.2s)

IterNodesCost
0139861
1412778
21744720
done5001718

prune545.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes118.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
165
done65

end0.0ms

sample879.0ms

Algorithm
intervals
Results
555.0ms10705×body80valid