Details

Time bar (total: 3.0s)

sample21.0ms

Algorithm
intervals
Results
11.0ms512×body80valid

simplify60.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0114
1254
2474
3904
42394
58054
630724
750034
done50034

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite26.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:
25.0ms
(exp (- (- 1.0 (* x x))))

series24.0ms

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

simplify44.0ms

Counts
29 → 29
Iterations

Useful iterations: 3 (42.0ms)

IterNodesCost
0108131
1298119
21348116
35001114
done5001114

prune54.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite251.0ms

Algorithm
rewrite-expression-head
Rules
48×exp-prod
28×add-sqr-sqrt
26×sqrt-pow1
18×add-cube-cbrt *-un-lft-identity
16×distribute-lft-neg-in distribute-rgt-neg-in
12×add-log-exp
10×sqrt-prod
8×distribute-neg-in exp-sum difference-of-squares
6×pow1 rem-exp-log
4×add-exp-log neg-sub0 exp-neg neg-mul-1 sub-neg exp-diff sqrt-div neg-log add-cbrt-cube
2×rem-sqrt-square pow1/2 diff-log
Counts
4 → 110
Calls
4 calls:
30.0ms
(sqrt (exp (- (- 1.0 (* x x)))))
27.0ms
(sqrt (exp (- (- 1.0 (* x x)))))
23.0ms
(exp (- (- 1.0 (* x x))))
167.0ms
(exp (- (- 1.0 (* x x))))

series147.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(sqrt (exp (- (- 1.0 (* x x)))))
51.0ms
(sqrt (exp (- (- 1.0 (* x x)))))
23.0ms
(exp (- (- 1.0 (* x x))))
25.0ms
(exp (- (- 1.0 (* x x))))

simplify81.0ms

Counts
122 → 122
Iterations

Useful iterations: 3 (72.0ms)

IterNodesCost
0169628
1494584
22294570
35002552
done5002552

prune315.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite244.0ms

Algorithm
rewrite-expression-head
Rules
58×sqrt-prod
50×add-sqr-sqrt
45×exp-prod
25×add-cube-cbrt *-un-lft-identity
16×distribute-lft-neg-in pow-pow distribute-rgt-neg-in
15×pow-unpow
10×associate-*r*
9×add-log-exp
8×unpow-prod-down associate-*l* difference-of-squares unswap-sqr
7×pow1
6×add-exp-log sqrt-pow1 add-cbrt-cube
4×neg-mul-1 distribute-neg-in exp-sum rem-exp-log sqr-pow
3×pow-prod-down
2×neg-sub0 exp-neg sub-neg pow1/2 exp-diff sqrt-div neg-log associate-*l/
1×pow-to-exp sqrt-unprod diff-log pow-exp prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod
Counts
4 → 137
Calls
4 calls:
153.0ms
(* (sqrt (exp (- (- 1.0 (* x x))))) (sqrt (pow (exp (sqrt (- (- 1.0 (* x x))))) (sqrt (- (- 1.0 (* x x)))))))
24.0ms
(exp (sqrt (- (- 1.0 (* x x)))))
40.0ms
(pow (exp (sqrt (- (- 1.0 (* x x))))) (sqrt (- (- 1.0 (* x x)))))
22.0ms
(exp (- (- 1.0 (* x x))))

series596.0ms

Counts
4 → 12
Calls
4 calls:
308.0ms
(* (sqrt (exp (- (- 1.0 (* x x))))) (sqrt (pow (exp (sqrt (- (- 1.0 (* x x))))) (sqrt (- (- 1.0 (* x x)))))))
75.0ms
(exp (sqrt (- (- 1.0 (* x x)))))
190.0ms
(pow (exp (sqrt (- (- 1.0 (* x x))))) (sqrt (- (- 1.0 (* x x)))))
24.0ms
(exp (- (- 1.0 (* x x))))

simplify46.0ms

Counts
149 → 149
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
04401754
115391384
250011150
done50011150

prune420.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes57.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
0811
1811
done811

end0.0ms

sample571.0ms

Algorithm
intervals
Results
338.0ms15973×body80valid