Details

Time bar (total: 35.2s)

sample80.0ms

Algorithm
intervals
Results
52.0ms256×body80valid

simplify2.6s

Counts
1 → 1
Iterations
IterNodes
done5000
33489
2608
1132
044

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 32.4b

localize212.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 0.0008327945 (* (* x x) (* x x)))
0.5b
(fma (* x x) 0.0001789971 0.0005064034)
14.5b
(* (/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034)) (fma (* 0.0072644182 (* x x)) (* (* x x) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1.0)))) (fma (* 2.0 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (+ (* 0.0008327945 (* (* x x) (* x x))) (* (* x x) 0.0140005442)) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0)))))) x)
31.8b
(/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034)) (fma (* 0.0072644182 (* x x)) (* (* x x) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1.0)))) (fma (* 2.0 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (+ (* 0.0008327945 (* (* x x) (* x x))) (* (* x x) 0.0140005442)) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0))))))

rewrite11.0s

Algorithm
rewrite-expression-head
Rules
29×add-cbrt-cube add-exp-log
27×add-sqr-sqrt
24×pow1
21×*-un-lft-identity add-cube-cbrt
19×times-frac
16×associate-*l*
15×prod-exp cbrt-unprod
14×pow-prod-down
4×expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv div-exp *-commutative div-inv associate-/l/
1×clear-num frac-2neg flip3-+ associate-*l/ flip-+ fma-udef
Counts
4 → 105
Calls
4 calls:
133.0ms
(* 0.0008327945 (* (* x x) (* x x)))
1.0ms
(fma (* x x) 0.0001789971 0.0005064034)
5.7s
(* (/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034)) (fma (* 0.0072644182 (* x x)) (* (* x x) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1.0)))) (fma (* 2.0 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (+ (* 0.0008327945 (* (* x x) (* x x))) (* (* x x) 0.0140005442)) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0)))))) x)
5.1s
(/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034)) (fma (* 0.0072644182 (* x x)) (* (* x x) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1.0)))) (fma (* 2.0 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (+ (* 0.0008327945 (* (* x x) (* x x))) (* (* x x) 0.0140005442)) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0))))))

series697.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* 0.0008327945 (* (* x x) (* x x)))
81.0ms
(fma (* x x) 0.0001789971 0.0005064034)
336.0ms
(* (/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034)) (fma (* 0.0072644182 (* x x)) (* (* x x) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1.0)))) (fma (* 2.0 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (+ (* 0.0008327945 (* (* x x) (* x x))) (* (* x x) 0.0140005442)) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0)))))) x)
227.0ms
(/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034)) (fma (* 0.0072644182 (* x x)) (* (* x x) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1.0)))) (fma (* 2.0 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (+ (* 0.0008327945 (* (* x x) (* x x))) (* (* x x) 0.0140005442)) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0))))))

simplify4.2s

Counts
117 → 117
Iterations
IterNodes
done5000
23947
1613
0222

prune1.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) (* (* x x) x))
0.1b
(* (* x x) x)
0.1b
(/ (/ 0.2514179000665375 x) (* x x))
0.3b
(/ 0.15298196345929327 (* (* x x) (* (* x x) x)))

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
145×pow1
75×pow-prod-up
71×add-cbrt-cube add-exp-log
39×pow-plus
35×prod-exp cbrt-unprod
34×times-frac
22×add-sqr-sqrt
21×*-un-lft-identity add-cube-cbrt
19×pow2 pow-sqr
18×pow-prod-down
16×associate-/l*
13×cbrt-undiv div-exp
5×pow3
4×expm1-log1p-u associate-*r* log1p-expm1-u div-inv add-log-exp
2×clear-num associate-/r* frac-2neg associate-*l* *-commutative
1×unswap-sqr associate-/l/
Counts
4 → 177
Calls
4 calls:
72.0ms
(* (* x x) (* (* x x) x))
19.0ms
(* (* x x) x)
11.0ms
(/ (/ 0.2514179000665375 x) (* x x))
87.0ms
(/ 0.15298196345929327 (* (* x x) (* (* x x) x)))

series275.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* (* x x) (* (* x x) x))
49.0ms
(* (* x x) x)
64.0ms
(/ (/ 0.2514179000665375 x) (* x x))
90.0ms
(/ 0.15298196345929327 (* (* x x) (* (* x x) x)))

simplify3.1s

Counts
189 → 189
Iterations
IterNodes
done5000
24041
1571
0201

prune610.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize179.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1.0))
0.3b
(* 0.0008327945 (* (* x x) (* x x)))
0.5b
(fma (* x x) 0.0001789971 0.0005064034)
31.9b
(/ (* (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034)) (fma (* 0.0072644182 (* x x)) (* (* x x) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1.0)))) x) (fma (* 2.0 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (+ (* 0.0008327945 (* (* x x) (* x x))) (* (* x x) 0.0140005442)) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0))))))

rewrite1.7s

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

series584.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1.0))
71.0ms
(* 0.0008327945 (* (* x x) (* x x)))
67.0ms
(fma (* x x) 0.0001789971 0.0005064034)
368.0ms
(/ (* (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034)) (fma (* 0.0072644182 (* x x)) (* (* x x) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1.0)))) x) (fma (* 2.0 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (+ (* 0.0008327945 (* (* x x) (* x x))) (* (* x x) 0.0140005442)) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0))))))

simplify4.2s

Counts
87 → 87
Iterations
IterNodes
done5001
23710
1521
0183

prune992.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes53.0ms

Accuracy

100% (0.0b remaining)

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

bsearch568.0ms

Steps
ItersRangePoint
8
53640.016154094046
3378812226.2511864
13726266.98056492
7
-2.7772760329833916e+20
-1.6830083676177457e+18
-3.9348544276790927e+18

simplify14.0ms

Iterations
IterNodes
done69
169
053

end0.0ms

sample2.7s

Algorithm
intervals
Results
2.5s8000×body80valid