Details

Time bar (total: 11.0s)

sample34.0ms

Algorithm
intervals
Results
19.0ms506×body80valid

simplify1.7s

Counts
1 → 1
Iterations

Useful iterations: 4 (24.0ms)

IterNodesCost
067
1117
2257
3477
41346
55346
627726
done50016

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(exp (- (- 1.0 (* x x))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
12×exp-prod
6×add-sqr-sqrt
5×add-log-exp
4×distribute-lft-neg-in add-cube-cbrt distribute-rgt-neg-in *-un-lft-identity
3×rem-exp-log
2×distribute-neg-in exp-sum neg-log difference-of-squares
1×pow1 add-exp-log neg-sub0 exp-neg neg-mul-1 sub-neg exp-diff diff-log add-cbrt-cube
Counts
1 → 26
Calls
1 calls:
32.0ms
(exp (- (- 1.0 (* x x))))

series32.0ms

Counts
1 → 3
Calls
1 calls:
32.0ms
(exp (- (- 1.0 (* x x))))

simplify1.4s

Counts
29 → 29
Iterations

Useful iterations: 3 (335.0ms)

IterNodesCost
058233
1109222
2317207
31821192
done5001192

prune84.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b
(pow (exp -1) (- 1.0 (* x x)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
4×add-cube-cbrt pow-unpow pow-pow *-un-lft-identity
3×unpow-prod-down exp-prod
2×pow1 unpow-prod-up
1×add-exp-log pow-to-exp sub-neg pow-exp add-cbrt-cube pow-sub add-log-exp difference-of-squares sqr-pow
Counts
1 → 24
Calls
1 calls:
14.0ms
(pow (exp -1) (- 1.0 (* x x)))

series67.0ms

Counts
1 → 3
Calls
1 calls:
67.0ms
(pow (exp -1) (- 1.0 (* x x)))

simplify2.6s

Counts
27 → 27
Iterations

Useful iterations: 3 (887.0ms)

IterNodesCost
060313
1159279
2644268
34181265
done5001265

prune86.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (exp (- (pow x 2) 1.0)))
0.0b
(exp (- (pow x 2) 1.0))
0.0b
(exp (- (pow x 2) 1.0))
0.0b
(* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))))

rewrite458.0ms

Algorithm
rewrite-expression-head
Rules
89×add-sqr-sqrt
84×exp-prod
77×sqrt-pow1
58×*-un-lft-identity
36×difference-of-squares
35×sqrt-prod
22×add-cube-cbrt
20×pow1
18×exp-sum
15×pow-prod-up distribute-lft-out--
13×pow-prod-down pow-sqr
12×swap-sqr
10×add-log-exp
9×sub-neg unpow-prod-down pow1/2 unpow2 sqr-pow
8×associate-*r* associate-*l*
7×exp-diff
6×add-exp-log add-cbrt-cube
5×sqrt-div
4×rem-exp-log unswap-sqr
2×diff-log
1×pow2 frac-times rem-sqrt-square pow-plus sqrt-unprod associate-*r/ associate-*l/ prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 154
Calls
4 calls:
47.0ms
(sqrt (exp (- (pow x 2) 1.0)))
55.0ms
(exp (- (pow x 2) 1.0))
37.0ms
(exp (- (pow x 2) 1.0))
311.0ms
(* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))))

series159.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(sqrt (exp (- (pow x 2) 1.0)))
38.0ms
(exp (- (pow x 2) 1.0))
29.0ms
(exp (- (pow x 2) 1.0))
35.0ms
(* (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))))

simplify2.7s

Counts
166 → 166
Iterations

Useful iterations: done (2.7s)

IterNodesCost
01362138
12941528
29771337
346311261
done50011234

prune441.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes85.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
078
done78

end0.0ms

sample1.1s

Algorithm
intervals
Results
719.0ms15866×body80valid