Details

Time bar (total: 16.0s)

sample24.0ms

Algorithm
intervals
Results
7.0ms67×body640valid
4.0ms138×body80valid
3.0ms35×body320valid
1.0ms16×body160valid

simplify12.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11211
21511
done1511

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 1.0 (- x 1.0))
0.0b
(/ 1.0 (+ x 1.0))
1.7b
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

rewrite251.0ms

Algorithm
rewrite-expression-head
Rules
662×*-un-lft-identity
589×times-frac
496×add-sqr-sqrt
378×prod-diff
368×add-cube-cbrt
86×associate-/r/
79×distribute-lft-out--
76×distribute-lft-out
62×difference-of-squares
44×div-inv
24×flip-+
23×flip3-+
21×flip--
20×flip3--
18×fma-neg
9×associate-/r*
7×add-exp-log add-cbrt-cube
6×associate-/l*
5×add-log-exp
3×pow1 expm1-log1p-u log1p-expm1-u
2×cbrt-undiv frac-2neg div-exp clear-num
1×sub-neg diff-log frac-sub
Counts
3 → 504
Calls
3 calls:
15.0ms
(/ 1.0 (- x 1.0))
23.0ms
(/ 1.0 (+ x 1.0))
158.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

series357.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(/ 1.0 (- x 1.0))
48.0ms
(/ 1.0 (+ x 1.0))
264.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

simplify2.5s

Counts
513 → 513
Iterations

Useful iterations: done (2.5s)

IterNodesCost
052524322
1125221814
2430717010
done500017008

prune1.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (- (* 1.0 1.0) (* x 1.0)))
0.0b
(/ 1.0 (- x 1.0))
0.4b
(/ 1.0 (+ (pow x 3) (pow 1.0 3)))
29.5b
(fma (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (- (/ 1.0 (- x 1.0))))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
76×*-un-lft-identity
42×times-frac
36×add-sqr-sqrt
28×add-cube-cbrt
20×distribute-lft-out
16×unpow-prod-down cube-prod
14×associate-/r*
9×add-log-exp
8×add-exp-log add-cbrt-cube
6×associate-/l*
4×pow1 expm1-log1p-u associate-/r/ sum-cubes log1p-expm1-u distribute-lft-out-- difference-of-squares
3×associate-+r+
2×cbrt-undiv frac-2neg flip3-+ div-exp clear-num sum-log flip-+ div-inv
1×+-commutative associate-+r- sub-neg flip3-- fma-def diff-log prod-diff flip-- fma-udef
Counts
4 → 123
Calls
4 calls:
39.0ms
(+ (* x x) (- (* 1.0 1.0) (* x 1.0)))
20.0ms
(/ 1.0 (- x 1.0))
72.0ms
(/ 1.0 (+ (pow x 3) (pow 1.0 3)))
1.0ms
(fma (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (- (/ 1.0 (- x 1.0))))

series513.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(+ (* x x) (- (* 1.0 1.0) (* x 1.0)))
34.0ms
(/ 1.0 (- x 1.0))
108.0ms
(/ 1.0 (+ (pow x 3) (pow 1.0 3)))
338.0ms
(fma (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (- (/ 1.0 (- x 1.0))))

simplify2.2s

Counts
135 → 135
Iterations

Useful iterations: done (2.2s)

IterNodesCost
02192053
15531794
225491655
done50001640

prune542.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.8b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 2.0 (pow x 4)) (/ 2.0 (pow x 6)))
0.2b
(/ 2.0 (pow x 6))
0.4b
(/ 2.0 (pow x 4))
0.9b
(/ 2.0 (* x x))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
72×times-frac
62×*-un-lft-identity
54×add-sqr-sqrt add-cube-cbrt
33×unpow-prod-down
25×fma-def
19×add-exp-log
15×associate-/r*
13×add-cbrt-cube
11×sqr-pow
9×associate-/l*
8×div-exp
6×div-inv add-log-exp
5×distribute-lft-out
4×pow1 cbrt-undiv expm1-log1p-u log1p-expm1-u
3×frac-2neg clear-num
2×pow-to-exp pow-exp
1×+-commutative flip3-+ frac-add prod-exp sum-log cbrt-unprod flip-+
Counts
4 → 161
Calls
4 calls:
82.0ms
(+ (/ 2.0 (pow x 4)) (/ 2.0 (pow x 6)))
14.0ms
(/ 2.0 (pow x 6))
9.0ms
(/ 2.0 (pow x 4))
13.0ms
(/ 2.0 (* x x))

series320.0ms

Counts
4 → 12
Calls
4 calls:
159.0ms
(+ (/ 2.0 (pow x 4)) (/ 2.0 (pow x 6)))
69.0ms
(/ 2.0 (pow x 6))
60.0ms
(/ 2.0 (pow x 4))
32.0ms
(/ 2.0 (* x x))

simplify1.7s

Counts
173 → 173
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02181596
14691460
226021379
done50001345

prune811.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 2.0 (pow x 4)) (/ 2.0 (pow x 6)))
0.1b
(/ (/ 2.0 x) x)
0.2b
(/ 2.0 (pow x 6))
0.4b
(/ 2.0 (pow x 4))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
144×times-frac
102×*-un-lft-identity
94×add-sqr-sqrt add-cube-cbrt
33×unpow-prod-down
25×fma-def
19×add-exp-log associate-/l*
17×associate-/r*
13×add-cbrt-cube
11×sqr-pow
10×div-inv
9×div-exp
6×add-log-exp
5×cbrt-undiv distribute-lft-out
4×pow1 expm1-log1p-u log1p-expm1-u
3×frac-2neg clear-num
2×pow-to-exp pow-exp
1×+-commutative flip3-+ frac-add sum-log flip-+ associate-/l/
Counts
4 → 210
Calls
4 calls:
95.0ms
(+ (/ 2.0 (pow x 4)) (/ 2.0 (pow x 6)))
30.0ms
(/ (/ 2.0 x) x)
14.0ms
(/ 2.0 (pow x 6))
15.0ms
(/ 2.0 (pow x 4))

series340.0ms

Counts
4 → 12
Calls
4 calls:
195.0ms
(+ (/ 2.0 (pow x 4)) (/ 2.0 (pow x 6)))
33.0ms
(/ (/ 2.0 x) x)
68.0ms
(/ 2.0 (pow x 6))
44.0ms
(/ 2.0 (pow x 4))

simplify2.0s

Counts
222 → 222
Iterations

Useful iterations: 2 (755.0ms)

IterNodesCost
03092273
16842099
232001946
done50001946

prune962.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes47.0ms

Accuracy

99.8% (0.0b remaining)

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

bsearch199.0ms

Steps
ItersRangePoint
11
0.022891638200552334
5.118117448855024e+31
202.79000425245187
10
-911936.9907706906
-4.3470241882695893e-07
-247.30213951418432

simplify28.0ms

Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
03471
14754
25454
35854
done5854

end0.0ms

sample1.2s

Algorithm
intervals
Results
398.0ms1940×body640valid
285.0ms4241×body80valid
187.0ms1219×body320valid
93.0ms600×body160valid