Details

Time bar (total: 6.6s)

sample44.0ms

Algorithm
intervals
Results
23.0ms256×body80valid

simplify1.0s

Counts
1 → 1
Iterations

Useful iterations: 3 (210.0ms)

IterNodesCost
044173
1132173
2565106
3274072
done500172

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.9b

localize38.0ms

Local error

Found 4 expressions with local error:

0.3b
(fma (* x x) 0.1049934947 1.0)
0.3b
(* (* x x) 0.0001789971)
0.4b
(* (* x x) 0.0008327945)
28.4b
(/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
19×add-exp-log add-cbrt-cube
14×pow1
10×add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity
7×prod-exp cbrt-unprod
6×associate-*r* pow-prod-down
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×times-frac associate-/r*
2×cbrt-undiv div-exp associate-*l* associate-*l/ *-commutative associate-/l/ unswap-sqr
1×frac-2neg flip3-+ clear-num flip-+ fma-udef div-inv associate-/l*
Counts
4 → 77
Calls
4 calls:
0.0ms
(fma (* x x) 0.1049934947 1.0)
7.0ms
(* (* x x) 0.0001789971)
7.0ms
(* (* x x) 0.0008327945)
10.0ms
(/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))

series361.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(fma (* x x) 0.1049934947 1.0)
29.0ms
(* (* x x) 0.0001789971)
25.0ms
(* (* x x) 0.0008327945)
258.0ms
(/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))

simplify704.0ms

Counts
89 → 89
Iterations

Useful iterations: 2 (157.0ms)

IterNodesCost
01812972
14682844
220272334
done50002334

prune571.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 0.265709700396151 (pow x 5))
0.1b
(* 0.6665536072 (pow x 3))
20.6b
(- (fma 1.0 x (* 0.265709700396151 (pow x 5))) (* 0.6665536072 (pow x 3)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
19×associate-*r*
13×add-exp-log
12×add-cube-cbrt *-un-lft-identity
8×unpow-prod-down
7×add-cbrt-cube unswap-sqr
6×associate-*l* prod-exp
5×add-log-exp
4×cube-prod sqr-pow
3×pow1 expm1-log1p-u fma-neg prod-diff log1p-expm1-u
2×pow-to-exp pow-exp *-commutative cbrt-unprod
1×cube-mult sub-neg flip3-- diff-log unpow3 associate--l+ flip-- fma-udef
Counts
3 → 81
Calls
3 calls:
5.0ms
(* 0.265709700396151 (pow x 5))
6.0ms
(* 0.6665536072 (pow x 3))
2.0ms
(- (fma 1.0 x (* 0.265709700396151 (pow x 5))) (* 0.6665536072 (pow x 3)))

series146.0ms

Counts
3 → 9
Calls
3 calls:
47.0ms
(* 0.265709700396151 (pow x 5))
38.0ms
(* 0.6665536072 (pow x 3))
60.0ms
(- (fma 1.0 x (* 0.265709700396151 (pow x 5))) (* 0.6665536072 (pow x 3)))

simplify592.0ms

Counts
90 → 90
Iterations

Useful iterations: 2 (110.0ms)

IterNodesCost
01381004
1313927
21183849
done5000849

prune205.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 0.5 x) (/ 0.2514179000665375 (pow x 3)))
0.0b
(+ (/ 0.15298196345929327 (pow x 5)) (+ (/ 0.5 x) (/ 0.2514179000665375 (pow x 3))))
0.0b
(/ 0.15298196345929327 (pow x 5))
0.9b
(/ 0.2514179000665375 (pow x 3))

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
92×times-frac
83×*-un-lft-identity
66×add-sqr-sqrt add-cube-cbrt
38×fma-def
33×unpow-prod-down
19×associate-/r*
14×add-exp-log
12×cube-prod
11×add-log-exp sqr-pow
8×add-cbrt-cube
7×distribute-lft-out
6×div-exp associate-/l*
5×frac-add
4×pow1 expm1-log1p-u cube-mult unpow3 sum-log log1p-expm1-u div-inv
3×flip3-+ flip-+
2×cbrt-undiv +-commutative pow-to-exp frac-2neg pow-exp clear-num
1×associate-+r+
Counts
4 → 189
Calls
4 calls:
32.0ms
(+ (/ 0.5 x) (/ 0.2514179000665375 (pow x 3)))
111.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (+ (/ 0.5 x) (/ 0.2514179000665375 (pow x 3))))
5.0ms
(/ 0.15298196345929327 (pow x 5))
5.0ms
(/ 0.2514179000665375 (pow x 3))

series217.0ms

Counts
4 → 12
Calls
4 calls:
81.0ms
(+ (/ 0.5 x) (/ 0.2514179000665375 (pow x 3)))
50.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (+ (/ 0.5 x) (/ 0.2514179000665375 (pow x 3))))
47.0ms
(/ 0.15298196345929327 (pow x 5))
38.0ms
(/ 0.2514179000665375 (pow x 3))

simplify805.0ms

Counts
201 → 201
Iterations

Useful iterations: done (800.0ms)

IterNodesCost
02442146
15671869
222421784
done50001782

prune482.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes26.0ms

Accuracy

100% (0.0b remaining)

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

bsearch342.0ms

Steps
ItersRangePoint
10
5.968040026638966e-05
117627206.70733242
1.1589205875478283
10
-64880754058.88788
-2.651420353119469e-05
-1.147765270182274

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
02652
13338
done3338

end0.0ms

sample827.0ms

Algorithm
intervals
Results
719.0ms8000×body80valid