Details

Time bar (total: 20.8s)

sample87.0ms

Algorithm
intervals
Results
55.0ms256×body80valid

simplify2.8s

Counts
1 → 1
Iterations

Useful iterations: done (2.8s)

IterNodesCost
044173
1132173
2596106
3305072
done500070

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.9b

localize80.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) 0.0008327945)
0.2b
(fma (pow x 6) 0.0072644182 (fma (* x x) 0.1049934947 1.0))
15.8b
(* (/ (+ (fma (pow (* x x) 4) (fma 0.0001789971 (* x x) 0.0005064034) (* (pow x 4) 0.0424060604)) (fma (pow x 6) 0.0072644182 (fma (* x x) 0.1049934947 1.0))) (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))) x)
27.4b
(/ (+ (fma (pow (* x x) 4) (fma 0.0001789971 (* x x) 0.0005064034) (* (pow x 4) 0.0424060604)) (fma (pow x 6) 0.0072644182 (fma (* x x) 0.1049934947 1.0))) (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
29×add-sqr-sqrt
25×times-frac
23×add-cube-cbrt
17×associate-*l*
16×add-exp-log add-cbrt-cube
11×pow1
7×distribute-lft-out
6×associate-*r*
5×prod-exp cbrt-unprod
4×expm1-log1p-u pow-prod-down log1p-expm1-u associate-/l* add-log-exp
3×associate-/r* unswap-sqr
2×cbrt-undiv div-exp *-commutative div-inv associate-/l/
1×frac-2neg flip3-+ associate-*l/ clear-num flip-+ fma-udef
Counts
4 → 103
Calls
4 calls:
27.0ms
(* (* x x) 0.0008327945)
1.0ms
(fma (pow x 6) 0.0072644182 (fma (* x x) 0.1049934947 1.0))
54.0ms
(* (/ (+ (fma (pow (* x x) 4) (fma 0.0001789971 (* x x) 0.0005064034) (* (pow x 4) 0.0424060604)) (fma (pow x 6) 0.0072644182 (fma (* x x) 0.1049934947 1.0))) (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))) x)
22.0ms
(/ (+ (fma (pow (* x x) 4) (fma 0.0001789971 (* x x) 0.0005064034) (* (pow x 4) 0.0424060604)) (fma (pow x 6) 0.0072644182 (fma (* x x) 0.1049934947 1.0))) (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))

series810.0ms

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

simplify1.3s

Counts
115 → 115
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02067173
14747003
215716275
done50006186

prune1.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) 0.0008327945)
0.2b
(fma 0.0072644182 (pow x 6) 1.0)
15.8b
(* (/ (+ (fma (pow (* x x) 4) (fma 0.0001789971 (* x x) 0.0005064034) (* (pow x 4) 0.0424060604)) (fma 0.1049934947 (pow x 2) (fma 0.0072644182 (pow x 6) 1.0))) (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))) x)
27.4b
(/ (+ (fma (pow (* x x) 4) (fma 0.0001789971 (* x x) 0.0005064034) (* (pow x 4) 0.0424060604)) (fma 0.1049934947 (pow x 2) (fma 0.0072644182 (pow x 6) 1.0))) (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))

rewrite465.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
29×add-sqr-sqrt
25×times-frac
23×add-cube-cbrt
17×associate-*l*
16×add-exp-log add-cbrt-cube
11×pow1
7×distribute-lft-out
6×associate-*r*
5×prod-exp cbrt-unprod
4×expm1-log1p-u pow-prod-down log1p-expm1-u associate-/l* add-log-exp
3×associate-/r* unswap-sqr
2×cbrt-undiv div-exp *-commutative div-inv associate-/l/
1×frac-2neg flip3-+ associate-*l/ clear-num flip-+ fma-udef
Counts
4 → 103
Calls
4 calls:
21.0ms
(* (* x x) 0.0008327945)
0.0ms
(fma 0.0072644182 (pow x 6) 1.0)
420.0ms
(* (/ (+ (fma (pow (* x x) 4) (fma 0.0001789971 (* x x) 0.0005064034) (* (pow x 4) 0.0424060604)) (fma 0.1049934947 (pow x 2) (fma 0.0072644182 (pow x 6) 1.0))) (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))) x)
20.0ms
(/ (+ (fma (pow (* x x) 4) (fma 0.0001789971 (* x x) 0.0005064034) (* (pow x 4) 0.0424060604)) (fma 0.1049934947 (pow x 2) (fma 0.0072644182 (pow x 6) 1.0))) (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))

series826.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (* x x) 0.0008327945)
201.0ms
(fma 0.0072644182 (pow x 6) 1.0)
350.0ms
(* (/ (+ (fma (pow (* x x) 4) (fma 0.0001789971 (* x x) 0.0005064034) (* (pow x 4) 0.0424060604)) (fma 0.1049934947 (pow x 2) (fma 0.0072644182 (pow x 6) 1.0))) (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))) x)
248.0ms
(/ (+ (fma (pow (* x x) 4) (fma 0.0001789971 (* x x) 0.0005064034) (* (pow x 4) 0.0424060604)) (fma 0.1049934947 (pow x 2) (fma 0.0072644182 (pow x 6) 1.0))) (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))

simplify1.4s

Counts
115 → 115
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02047095
14686928
215606210
done50016121

prune1.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize79.0ms

Local error

Found 4 expressions with local error:

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

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
23×*-un-lft-identity
21×add-cube-cbrt
19×times-frac
14×pow1 add-exp-log
13×associate-*r*
11×add-cbrt-cube
6×pow-pow
4×expm1-log1p-u associate-*l* log1p-expm1-u add-log-exp
3×pow-unpow prod-exp associate-/r* associate-/l*
2×cbrt-undiv frac-times flip3-+ div-exp pow-prod-down associate-*l/ pow-exp cbrt-unprod flip-+ div-inv unswap-sqr
1×pow2 pow-to-exp unpow-prod-down frac-2neg pow-plus associate-*r/ clear-num pow-sqr *-commutative pow-prod-up fma-udef distribute-lft-out sqr-pow
Counts
4 → 101
Calls
4 calls:
7.0ms
(pow (* x x) 4)
0.0ms
(fma 0.0072644182 (pow x 6) 1.0)
5.0ms
(/ x (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (fma (pow x 2) 0.0008327945 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))
53.0ms
(* (+ (fma (pow (* x x) 4) (fma 0.0001789971 (* x x) 0.0005064034) (* (pow x 4) 0.0424060604)) (fma 0.1049934947 (pow x 2) (fma 0.0072644182 (pow x 6) 1.0))) (/ x (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (fma (pow x 2) 0.0008327945 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))

series820.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(pow (* x x) 4)
156.0ms
(fma 0.0072644182 (pow x 6) 1.0)
226.0ms
(/ x (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (fma (pow x 2) 0.0008327945 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))
385.0ms
(* (+ (fma (pow (* x x) 4) (fma 0.0001789971 (* x x) 0.0005064034) (* (pow x 4) 0.0424060604)) (fma 0.1049934947 (pow x 2) (fma 0.0072644182 (pow x 6) 1.0))) (/ x (fma (* 2.0 0.0001789971) (pow (* x x) 6) (fma (pow (* x x) 4) (fma (pow x 2) 0.0008327945 0.0140005442) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))

simplify1.3s

Counts
113 → 113
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02195556
14815156
216764588
done50014549

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite498.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:
119.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (/ 0.2514179000665375 (pow x 3)))
321.0ms
(+ (/ 0.5 x) (+ (/ 0.15298196345929327 (pow x 5)) (/ 0.2514179000665375 (pow x 3))))
16.0ms
(/ 0.15298196345929327 (pow x 5))
26.0ms
(/ 0.2514179000665375 (pow x 3))

series411.0ms

Counts
4 → 12
Calls
4 calls:
197.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (/ 0.2514179000665375 (pow x 3)))
76.0ms
(+ (/ 0.5 x) (+ (/ 0.15298196345929327 (pow x 5)) (/ 0.2514179000665375 (pow x 3))))
80.0ms
(/ 0.15298196345929327 (pow x 5))
57.0ms
(/ 0.2514179000665375 (pow x 3))

simplify1.3s

Counts
201 → 201
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02432216
15381933
216731842
done50001838

prune746.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes75.0ms

Accuracy

100% (0.0b remaining)

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

bsearch421.0ms

Steps
ItersRangePoint
4
6884452.324493753
12841418.865772145
9344017.826654343
9
-3592450.023809973
-45.38980787391071
-3158623.0682681673

simplify23.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
055107
16493
done6493

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.8s8000×body80valid