Details

Time bar (total: 8.7s)

sample10.0ms

Algorithm
intervals
Results
4.0ms256×body80valid

simplify3.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
057
176
done76

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.2b

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x x) 1.0)
15.2b
(/ x (+ (* x x) 1.0))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×add-exp-log add-cbrt-cube add-log-exp
3×associate-/r* associate-/l*
2×pow1 expm1-log1p-u flip3-+ associate-/r/ flip-+ log1p-expm1-u
1×cbrt-undiv +-commutative fma-def frac-2neg div-exp clear-num sum-log div-inv
Counts
2 → 45
Calls
2 calls:
3.0ms
(+ (* x x) 1.0)
6.0ms
(/ x (+ (* x x) 1.0))

series95.0ms

Counts
2 → 6
Calls
2 calls:
33.0ms
(+ (* x x) 1.0)
62.0ms
(/ x (+ (* x x) 1.0))

simplify1.4s

Counts
51 → 51
Iterations

Useful iterations: 2 (93.0ms)

IterNodesCost
089580
1204497
2543448
31553448
done5000448

prune108.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 1 x) (/ 1.0 (pow x 3)))
0.1b
(/ 1.0 (pow x 5))
0.2b
(/ 1.0 (pow x 3))
18.6b
(+ (- (/ 1 x) (/ 1.0 (pow x 3))) (/ 1.0 (pow x 5)))

rewrite505.0ms

Algorithm
rewrite-expression-head
Rules
1773×times-frac
1273×add-sqr-sqrt
1222×*-un-lft-identity
1185×add-cube-cbrt
1040×prod-diff
522×associate-+l+
264×unpow-prod-down
252×cube-prod
112×div-inv
92×sqr-pow
82×cube-mult unpow3
30×difference-of-squares
21×fma-def
19×associate-/r*
14×add-exp-log
13×fma-neg
11×add-log-exp
9×distribute-lft-out--
8×add-cbrt-cube
6×div-exp associate-/l*
4×pow1 expm1-log1p-u log1p-expm1-u distribute-lft-out
3×frac-add
2×cbrt-undiv pow-to-exp sub-neg flip3-- frac-2neg diff-log pow-exp clear-num sum-log frac-sub flip--
1×+-commutative associate-+l- flip3-+ flip-+
Counts
4 → 1245
Calls
4 calls:
53.0ms
(- (/ 1 x) (/ 1.0 (pow x 3)))
4.0ms
(/ 1.0 (pow x 5))
4.0ms
(/ 1.0 (pow x 3))
312.0ms
(+ (- (/ 1 x) (/ 1.0 (pow x 3))) (/ 1.0 (pow x 5)))

series216.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(- (/ 1 x) (/ 1.0 (pow x 3)))
54.0ms
(/ 1.0 (pow x 5))
37.0ms
(/ 1.0 (pow x 3))
54.0ms
(+ (- (/ 1 x) (/ 1.0 (pow x 3))) (/ 1.0 (pow x 5)))

simplify2.1s

Counts
1257 → 1257
Iterations

Useful iterations: done (2.0s)

IterNodesCost
079751194
1174241068
2413825265
done500124551

prune2.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize8.0ms

Local error

Found 1 expressions with local error:

19.8b
(- (+ x (pow x 5)) (pow x 3))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
57×*-un-lft-identity
48×prod-diff
33×add-sqr-sqrt
26×add-cube-cbrt
14×distribute-lft-out
13×unpow-prod-down cube-prod
6×add-log-exp
5×sqr-pow
4×cube-mult fma-neg unpow3 difference-of-squares
2×diff-log distribute-lft-out--
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- associate--l+ sum-log add-cbrt-cube flip-- log1p-expm1-u
Counts
1 → 74
Calls
1 calls:
53.0ms
(- (+ x (pow x 5)) (pow x 3))

series50.0ms

Counts
1 → 3
Calls
1 calls:
49.0ms
(- (+ x (pow x 5)) (pow x 3))

simplify1.4s

Counts
77 → 77
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01202299
12691527
27371194
done5000854

prune62.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes21.0ms

Accuracy

100% (0.0b remaining)

Error of 0.2b against oracle of 0.2b and baseline of 31.2b

bsearch63.0ms

Steps
ItersRangePoint
9
0.00016167321766412214
1766.3470775505596
1.007326737329946
10
-3752817.331716861
-5.670122129476186e-07
-1.0108746280769982

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
02149
12935
done2935

end0.0ms

sample223.0ms

Algorithm
intervals
Results
136.0ms8000×body80valid