Details

Time bar (total: 11.2s)

sample18.0ms

Algorithm
intervals
Results
9.0ms256×body80valid

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
done12
212
110
07

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
(+ (exp x) (exp (- x)))
0.0b
(/ 2.0 (+ (exp x) (exp (- x))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
12×add-sqr-sqrt times-frac add-cube-cbrt
5×distribute-lft-out
4×associate-/r* add-cbrt-cube add-exp-log add-log-exp
3×fma-def associate-/l*
2×expm1-log1p-u pow1 flip3-+ associate-/r/ flip-+ log1p-expm1-u
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp div-inv
Counts
2 → 52
Calls
2 calls:
16.0ms
(+ (exp x) (exp (- x)))
18.0ms
(/ 2.0 (+ (exp x) (exp (- x))))

series69.0ms

Counts
2 → 6
Calls
2 calls:
26.0ms
(+ (exp x) (exp (- x)))
44.0ms
(/ 2.0 (+ (exp x) (exp (- x))))

simplify1.9s

Counts
58 → 58
Iterations
IterNodes
done5000
31994
2614
1210
094

prune218.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (exp x) (exp x))
0.7b
(* (/ 2.0 (fma (* (exp x) (exp x)) (exp x) (exp (- (* x -2) x)))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
0.7b
(* (exp x) (exp (- x)))
2.1b
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))

rewrite673.0ms

Algorithm
rewrite-expression-head
Rules
61×exp-neg
44×associate-*r/
39×neg-sub0 exp-diff
37×add-sqr-sqrt
34×exp-prod
31×*-un-lft-identity
28×add-cube-cbrt
27×frac-sub
21×un-div-inv
19×associate-*l*
15×pow1 sub-div
14×frac-times
13×add-cbrt-cube associate-*l/
10×times-frac pow-prod-down
9×associate-*r* add-exp-log
8×pow-prod-up
6×add-log-exp
4×expm1-log1p-u prod-exp pow-sqr cbrt-unprod log1p-expm1-u unswap-sqr
3×distribute-lft-neg-in distribute-rgt-neg-in swap-sqr *-commutative
2×flip3-+ flip-+
1×pow2 distribute-rgt-in cbrt-undiv neg-mul-1 sub-neg distribute-lft-in pow-plus flip3-- distribute-rgt-out-- fma-neg diff-log rgt-mult-inverse div-exp prod-diff div-inv flip--
Counts
4 → 167
Calls
4 calls:
21.0ms
(* (exp x) (exp x))
546.0ms
(* (/ 2.0 (fma (* (exp x) (exp x)) (exp x) (exp (- (* x -2) x)))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
39.0ms
(* (exp x) (exp (- x)))
57.0ms
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))

series433.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (exp x) (exp x))
258.0ms
(* (/ 2.0 (fma (* (exp x) (exp x)) (exp x) (exp (- (* x -2) x)))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
79.0ms
(* (exp x) (exp (- x)))
74.0ms
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))

simplify2.0s

Counts
179 → 179
Iterations
IterNodes
done5351
22874
1912
0307

prune864.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize75.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (/ 2.0 (fma (* (exp x) (exp x)) (exp x) (exp (- (* x -2) x)))))
0.5b
(* (* (exp x) (exp x)) (/ 2.0 (fma (* (exp x) (exp x)) (exp x) (exp (- (* x -2) x)))))
0.7b
(* (exp x) (exp (- x)))
2.1b
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))

rewrite457.0ms

Algorithm
rewrite-expression-head
Rules
177×exp-neg
124×associate-*r/
115×neg-sub0 exp-diff
81×frac-sub
80×frac-times associate-*l/
61×un-div-inv
45×sub-div
35×add-sqr-sqrt
29×associate-*r*
28×*-un-lft-identity
25×add-cube-cbrt
23×add-cbrt-cube
20×times-frac
17×add-exp-log
16×exp-prod
13×pow1
9×pow-prod-down prod-exp cbrt-unprod
8×associate-*l*
6×add-log-exp
5×unswap-sqr
4×expm1-log1p-u pow-prod-up log1p-expm1-u
3×distribute-lft-neg-in cbrt-undiv distribute-rgt-neg-in flip3-- div-exp *-commutative flip--
2×distribute-rgt-out-- div-inv
1×neg-mul-1 sub-neg fma-neg diff-log rgt-mult-inverse prod-diff
Counts
4 → 251
Calls
4 calls:
290.0ms
(* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (/ 2.0 (fma (* (exp x) (exp x)) (exp x) (exp (- (* x -2) x)))))
61.0ms
(* (* (exp x) (exp x)) (/ 2.0 (fma (* (exp x) (exp x)) (exp x) (exp (- (* x -2) x)))))
29.0ms
(* (exp x) (exp (- x)))
52.0ms
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))

series503.0ms

Counts
4 → 12
Calls
4 calls:
189.0ms
(* (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) (/ 2.0 (fma (* (exp x) (exp x)) (exp x) (exp (- (* x -2) x)))))
125.0ms
(* (* (exp x) (exp x)) (/ 2.0 (fma (* (exp x) (exp x)) (exp x) (exp (- (* x -2) x)))))
94.0ms
(* (exp x) (exp (- x)))
96.0ms
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))

simplify1.8s

Counts
263 → 263
Iterations
IterNodes
done5650
22663
11011
0390

prune1.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes129.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done8
18
07

end0.0ms

sample602.0ms

Algorithm
intervals
Results
455.0ms8000×body80valid