Details

Time bar (total: 3.1s)

sample24.0ms

Algorithm
intervals
Results
14.0ms512×body80valid

simplify64.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0114
1254
2494
3964
42534
58214
631154
750014
done50014

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))))

rewrite23.0ms

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

series24.0ms

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

simplify59.0ms

Counts
34 → 34
Iterations

Useful iterations: 3 (56.0ms)

IterNodesCost
0140176
1392156
21701140
35001133
done5001133

prune63.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))))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
48×exp-prod
32×add-sqr-sqrt
26×sqrt-pow1
22×add-cube-cbrt *-un-lft-identity
20×distribute-neg-in exp-sum
16×distribute-lft-neg-in distribute-rgt-neg-in sqrt-prod
12×prod-diff add-log-exp
8×difference-of-squares
6×pow1 rem-exp-log
4×add-exp-log neg-sub0 exp-neg expm1-log1p-u neg-mul-1 sub-neg exp-diff sqrt-div neg-log add-cbrt-cube log1p-expm1-u
2×rem-sqrt-square pow1/2 diff-log
Counts
4 → 130
Calls
4 calls:
28.0ms
(sqrt (exp (- (- 1.0 (* x x)))))
31.0ms
(sqrt (exp (- (- 1.0 (* x x)))))
22.0ms
(exp (- (- 1.0 (* x x))))
22.0ms
(exp (- (- 1.0 (* x x))))

series153.0ms

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

simplify101.0ms

Counts
142 → 142
Iterations

Useful iterations: 3 (92.0ms)

IterNodesCost
0208824
1600754
22709682
35003638
done5003638

prune353.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize13.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))))

rewrite242.0ms

Algorithm
rewrite-expression-head
Rules
61×sqrt-prod
52×add-sqr-sqrt
45×exp-prod
27×add-cube-cbrt *-un-lft-identity
16×distribute-lft-neg-in pow-pow distribute-rgt-neg-in
15×pow-unpow
11×associate-*l*
10×distribute-neg-in associate-*r* exp-sum
9×add-log-exp
8×unpow-prod-down difference-of-squares unswap-sqr
7×pow1
6×add-exp-log sqrt-pow1 prod-diff add-cbrt-cube
4×expm1-log1p-u neg-mul-1 log1p-expm1-u 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 → 151
Calls
4 calls:
150.0ms
(* (sqrt (exp (- (- 1.0 (* x x))))) (sqrt (pow (exp (sqrt (- (- 1.0 (* x x))))) (sqrt (- (- 1.0 (* x x)))))))
25.0ms
(exp (sqrt (- (- 1.0 (* x x)))))
37.0ms
(pow (exp (sqrt (- (- 1.0 (* x x))))) (sqrt (- (- 1.0 (* x x)))))
25.0ms
(exp (- (- 1.0 (* x x))))

series749.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)))))))
73.0ms
(exp (sqrt (- (- 1.0 (* x x)))))
341.0ms
(pow (exp (sqrt (- (- 1.0 (* x x))))) (sqrt (- (- 1.0 (* x x)))))
27.0ms
(exp (- (- 1.0 (* x x))))

simplify55.0ms

Counts
163 → 163
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
04851920
116791504
250011219
done50011219

prune459.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
333.0ms15973×body80valid