Details

Time bar (total: 24.8s)

sample81.0ms

Algorithm
intervals
Results
32.0ms67×body1280valid
11.0ms35×body640valid
8.0ms126×body80valid
5.0ms22×body320valid
1.0ms6×body160valid

simplify4.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0910
11510
22210
33110
45510
512210
645410
7340310
done500110

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.8b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
0.0b
(+ 1.0 (exp (* -2.0 x)))
1.9b
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
99×*-un-lft-identity
68×add-sqr-sqrt
63×add-cube-cbrt
61×times-frac
54×prod-diff
18×fma-neg
17×distribute-lft-out
10×associate-/r/
7×add-log-exp
6×flip3-+ flip-+
5×add-exp-log add-cbrt-cube div-inv
4×associate-/r*
3×pow1 expm1-log1p-u fma-def log1p-expm1-u associate-/l*
2×difference-of-squares
1×cbrt-undiv +-commutative sub-neg flip3-- frac-2neg diff-log div-exp clear-num sum-log flip-- distribute-lft-out--
Counts
3 → 141
Calls
3 calls:
25.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
15.0ms
(+ 1.0 (exp (* -2.0 x)))
150.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series250.0ms

Counts
3 → 9
Calls
3 calls:
73.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
29.0ms
(+ 1.0 (exp (* -2.0 x)))
148.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify1.4s

Counts
150 → 150
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01803092
14192519
212922225
done50002060

prune769.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 2 expressions with local error:

0.1b
(* 0.33333333333333337 (pow x 3))
8.2b
(fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
12×associate-*r*
7×add-exp-log
6×add-cube-cbrt *-un-lft-identity
4×unpow-prod-down cube-prod add-cbrt-cube unswap-sqr
3×associate-*l* prod-exp
2×pow1 expm1-log1p-u log1p-expm1-u add-log-exp sqr-pow
1×cube-mult pow-to-exp unpow3 pow-exp *-commutative cbrt-unprod fma-udef
Counts
2 → 43
Calls
2 calls:
28.0ms
(* 0.33333333333333337 (pow x 3))
1.0ms
(fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3)))

series294.0ms

Counts
2 → 6
Calls
2 calls:
78.0ms
(* 0.33333333333333337 (pow x 3))
216.0ms
(fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3)))

simplify1.0s

Counts
49 → 49
Iterations

Useful iterations: done (1.0s)

IterNodesCost
070445
1159409
2595371
done5000369

prune339.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (exp (* -2.0 x)))
0.0b
(+ 1.0 (exp (* -2.0 x)))
0.5b
(/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))
1.9b
(- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
1375×times-frac
1227×*-un-lft-identity
853×add-sqr-sqrt
829×add-cube-cbrt
789×sqrt-prod
585×prod-diff
198×distribute-lft-out
195×fma-neg
66×sqrt-div associate-/r/
35×flip3-+ flip-+
33×div-inv
10×add-log-exp
7×associate-/r* difference-of-squares
6×add-exp-log fma-def add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u
3×associate-/l*
2×+-commutative sum-log
1×cbrt-undiv sub-neg flip3-- frac-2neg diff-log div-exp clear-num flip-- distribute-lft-out--
Counts
4 → 883
Calls
4 calls:
17.0ms
(+ 1.0 (exp (* -2.0 x)))
14.0ms
(+ 1.0 (exp (* -2.0 x)))
32.0ms
(/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))
1.1s
(- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)

series331.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(+ 1.0 (exp (* -2.0 x)))
29.0ms
(+ 1.0 (exp (* -2.0 x)))
116.0ms
(/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))
156.0ms
(- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)

simplify3.2s

Counts
895 → 895
Iterations

Useful iterations: 2 (1.5s)

IterNodesCost
067236057
1155927156
2495723785
done500023785

prune2.9s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (exp (* -2.0 x)))
0.0b
(pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
0.0b
(cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
1.9b
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

rewrite511.0ms

Algorithm
rewrite-expression-head
Rules
97×*-un-lft-identity
86×add-sqr-sqrt
61×add-cube-cbrt
54×prod-diff
53×times-frac
18×cbrt-prod fma-neg
13×distribute-lft-out
12×unpow-prod-down cube-prod
10×difference-of-squares
8×associate-/r/ add-log-exp
5×pow1 add-exp-log flip3-+ add-cbrt-cube flip-+ distribute-lft-out--
4×cube-div expm1-log1p-u log1p-expm1-u div-inv
3×pow-unpow flip3-- fma-def flip--
2×cube-mult cbrt-div unpow3 sqr-pow
1×+-commutative pow-to-exp sub-neg pow-pow pow1/3 diff-log pow-exp sum-log rem-cbrt-cube rem-cube-cbrt
Counts
4 → 170
Calls
4 calls:
15.0ms
(+ 1.0 (exp (* -2.0 x)))
159.0ms
(pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
137.0ms
(cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
184.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series578.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(+ 1.0 (exp (* -2.0 x)))
232.0ms
(pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
150.0ms
(cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
158.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify3.0s

Counts
182 → 182
Iterations

Useful iterations: done (3.0s)

IterNodesCost
02294120
16193360
226272958
done50002802

prune923.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes562.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch2.0ms

simplify8.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
03062
13945
done3945

end0.0ms

sample2.8s

Algorithm
intervals
Results
904.0ms1715×body1280valid
883.0ms4109×body80valid
475.0ms1254×body640valid
149.0ms635×body320valid
38.0ms287×body160valid