Details

Time bar (total: 31.8s)

sample65.0ms

Algorithm
intervals
Results
38.0ms256×body80valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5001
32740
2547
1132
044

prune52.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.4b

localize126.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* x x) 0.7715471019)
0.6b
(* (* (* x x) 2.0) 0.0001789971)
14.5b
(* (/ (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))) (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442))))) x)
30.8b
(/ (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))) (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442)))))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
25×add-cbrt-cube add-exp-log
22×*-un-lft-identity add-cube-cbrt
20×pow1
19×times-frac
17×associate-*l*
11×prod-exp cbrt-unprod
10×pow-prod-down
9×associate-*r*
7×flip3-+ flip-+
6×associate-/l/
4×frac-add associate-*r/ associate-/r/ add-log-exp
3×associate-/r* *-commutative associate-/l* unswap-sqr
2×cbrt-undiv div-exp div-inv
1×clear-num frac-2neg associate-*l/
Counts
4 → 109
Calls
4 calls:
14.0ms
(* (* x x) 0.7715471019)
44.0ms
(* (* (* x x) 2.0) 0.0001789971)
1.2s
(* (/ (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))) (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442))))) x)
832.0ms
(/ (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))) (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442)))))

series724.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* (* x x) 0.7715471019)
27.0ms
(* (* (* x x) 2.0) 0.0001789971)
373.0ms
(* (/ (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))) (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442))))) x)
288.0ms
(/ (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))) (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442)))))

simplify852.0ms

Counts
121 → 121
Iterations
IterNodes
done5000
1810
0264

prune1.8s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite247.0ms

Algorithm
rewrite-expression-head
Rules
60×times-frac
55×*-un-lft-identity
44×add-sqr-sqrt add-cube-cbrt
24×unpow-prod-down
19×associate-/r*
13×add-exp-log
12×cube-prod
8×add-log-exp sqr-pow
7×add-cbrt-cube
6×div-exp associate-/l*
5×distribute-lft-out
4×cube-mult unpow3 frac-add
3×pow1 sum-log
2×pow-to-exp cbrt-undiv clear-num frac-2neg flip3-+ pow-exp flip-+ div-inv
1×+-commutative associate-+r+
Counts
3 → 129
Calls
3 calls:
220.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x)))
10.0ms
(/ 0.2514179000665375 (pow x 3))
10.0ms
(/ 0.15298196345929327 (pow x 5))

series186.0ms

Counts
3 → 9
Calls
3 calls:
68.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x)))
52.0ms
(/ 0.2514179000665375 (pow x 3))
66.0ms
(/ 0.15298196345929327 (pow x 5))

simplify1.0s

Counts
138 → 138
Iterations
IterNodes
done5000
22519
1551
0229

prune524.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize257.0ms

Local error

Found 4 expressions with local error:

4.9b
(sqrt (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))))
4.9b
(sqrt (+ (+ 1.0 (+ (* 0.0072644182 (pow x 6)) (* (* x x) 0.1049934947))) (* (+ (* (pow x 6) 0.0001789971) (+ (* (pow x 4) 0.0005064034) 0.0424060604)) (pow x 4))))
26.3b
(/ (sqrt (+ (+ 1.0 (+ (* 0.0072644182 (pow x 6)) (* (* x x) 0.1049934947))) (* (+ (* (pow x 6) 0.0001789971) (+ (* (pow x 4) 0.0005064034) 0.0424060604)) (pow x 4)))) (sqrt (+ (+ (* (* 0.7715471019 x) x) (+ 1.0 (* (+ (* (* x 0.0694555761) x) 0.2909738639) (pow x 4)))) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))))))))
26.3b
(/ (sqrt (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0)))) (sqrt (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442))))))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
90×sqrt-prod
72×times-frac
64×add-sqr-sqrt
62×*-un-lft-identity add-cube-cbrt
32×sqrt-div
26×flip3-+ flip-+
20×frac-add
12×associate-/r* associate-*r/ associate-/l* associate-/l/
8×add-cbrt-cube associate-*l/ add-exp-log associate-/r/
6×pow1
4×add-log-exp
2×cbrt-undiv rem-sqrt-square sqrt-undiv clear-num frac-2neg sqrt-pow1 pow1/2 div-exp div-inv
Counts
4 → 180
Calls
4 calls:
186.0ms
(sqrt (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))))
115.0ms
(sqrt (+ (+ 1.0 (+ (* 0.0072644182 (pow x 6)) (* (* x x) 0.1049934947))) (* (+ (* (pow x 6) 0.0001789971) (+ (* (pow x 4) 0.0005064034) 0.0424060604)) (pow x 4))))
374.0ms
(/ (sqrt (+ (+ 1.0 (+ (* 0.0072644182 (pow x 6)) (* (* x x) 0.1049934947))) (* (+ (* (pow x 6) 0.0001789971) (+ (* (pow x 4) 0.0005064034) 0.0424060604)) (pow x 4)))) (sqrt (+ (+ (* (* 0.7715471019 x) x) (+ 1.0 (* (+ (* (* x 0.0694555761) x) 0.2909738639) (pow x 4)))) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))))))))
714.0ms
(/ (sqrt (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0)))) (sqrt (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
244.0ms
(sqrt (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))))
217.0ms
(sqrt (+ (+ 1.0 (+ (* 0.0072644182 (pow x 6)) (* (* x x) 0.1049934947))) (* (+ (* (pow x 6) 0.0001789971) (+ (* (pow x 4) 0.0005064034) 0.0424060604)) (pow x 4))))
329.0ms
(/ (sqrt (+ (+ 1.0 (+ (* 0.0072644182 (pow x 6)) (* (* x x) 0.1049934947))) (* (+ (* (pow x 6) 0.0001789971) (+ (* (pow x 4) 0.0005064034) 0.0424060604)) (pow x 4)))) (sqrt (+ (+ (* (* 0.7715471019 x) x) (+ 1.0 (* (+ (* (* x 0.0694555761) x) 0.2909738639) (pow x 4)))) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))))))))
375.0ms
(/ (sqrt (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0)))) (sqrt (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442))))))

simplify766.0ms

Counts
192 → 192
Iterations
IterNodes
done5001
11347
0486

prune4.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize251.0ms

Local error

Found 4 expressions with local error:

4.9b
(sqrt (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))))
14.4b
(sqrt (/ (+ (+ (* 0.0072644182 (pow x 6)) 1.0) (+ (* 0.1049934947 (* x x)) (* (+ (* 0.0005064034 (pow x 4)) (+ 0.0424060604 (* (pow x 6) 0.0001789971))) (pow x 4)))) (+ (+ (* (pow x 4) (+ 0.2909738639 (* (* x x) 0.0694555761))) (+ 1.0 (* x (* x 0.7715471019)))) (* (+ (* (+ (* (* 2.0 (* x x)) 0.0001789971) 0.0008327945) (* x x)) 0.0140005442) (pow (* x x) 4)))))
26.3b
(/ (sqrt (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0)))) (sqrt (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442))))))
30.8b
(/ (+ (+ (* 0.0072644182 (pow x 6)) 1.0) (+ (* 0.1049934947 (* x x)) (* (+ (* 0.0005064034 (pow x 4)) (+ 0.0424060604 (* (pow x 6) 0.0001789971))) (pow x 4)))) (+ (+ (* (pow x 4) (+ 0.2909738639 (* (* x x) 0.0694555761))) (+ 1.0 (* x (* x 0.7715471019)))) (* (+ (* (+ (* (* 2.0 (* x x)) 0.0001789971) 0.0008327945) (* x x)) 0.0140005442) (pow (* x x) 4))))

rewrite1.7s

Algorithm
rewrite-expression-head
Rules
75×sqrt-prod
64×*-un-lft-identity
61×times-frac
54×add-sqr-sqrt
52×frac-add
50×flip3-+ add-cube-cbrt flip-+
30×associate-/r/
24×associate-*l/ associate-*r/
15×sqrt-div
12×associate-/l/
10×associate-/l*
9×associate-/r*
8×add-cbrt-cube add-exp-log
7×distribute-lft-out
6×pow1
4×add-log-exp
3×rem-sqrt-square div-inv
2×cbrt-undiv clear-num frac-2neg sqrt-pow1 pow1/2 div-exp
1×sqrt-undiv
Counts
4 → 181
Calls
4 calls:
207.0ms
(sqrt (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))))
301.0ms
(sqrt (/ (+ (+ (* 0.0072644182 (pow x 6)) 1.0) (+ (* 0.1049934947 (* x x)) (* (+ (* 0.0005064034 (pow x 4)) (+ 0.0424060604 (* (pow x 6) 0.0001789971))) (pow x 4)))) (+ (+ (* (pow x 4) (+ 0.2909738639 (* (* x x) 0.0694555761))) (+ 1.0 (* x (* x 0.7715471019)))) (* (+ (* (+ (* (* 2.0 (* x x)) 0.0001789971) 0.0008327945) (* x x)) 0.0140005442) (pow (* x x) 4)))))
788.0ms
(/ (sqrt (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0)))) (sqrt (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442))))))
404.0ms
(/ (+ (+ (* 0.0072644182 (pow x 6)) 1.0) (+ (* 0.1049934947 (* x x)) (* (+ (* 0.0005064034 (pow x 4)) (+ 0.0424060604 (* (pow x 6) 0.0001789971))) (pow x 4)))) (+ (+ (* (pow x 4) (+ 0.2909738639 (* (* x x) 0.0694555761))) (+ 1.0 (* x (* x 0.7715471019)))) (* (+ (* (+ (* (* 2.0 (* x x)) 0.0001789971) 0.0008327945) (* x x)) 0.0140005442) (pow (* x x) 4))))

series1.4s

Counts
4 → 12
Calls
4 calls:
226.0ms
(sqrt (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0))))
388.0ms
(sqrt (/ (+ (+ (* 0.0072644182 (pow x 6)) 1.0) (+ (* 0.1049934947 (* x x)) (* (+ (* 0.0005064034 (pow x 4)) (+ 0.0424060604 (* (pow x 6) 0.0001789971))) (pow x 4)))) (+ (+ (* (pow x 4) (+ 0.2909738639 (* (* x x) 0.0694555761))) (+ 1.0 (* x (* x 0.7715471019)))) (* (+ (* (+ (* (* 2.0 (* x x)) 0.0001789971) 0.0008327945) (* x x)) 0.0140005442) (pow (* x x) 4)))))
461.0ms
(/ (sqrt (+ (* (pow x 4) (+ (+ (* (pow x 6) 0.0001789971) (* 0.0005064034 (pow x 4))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (pow x 6)) 1.0)))) (sqrt (+ (* (* x x) 0.7715471019) (+ (+ (* (pow x 4) (+ (* x (* x 0.0694555761)) 0.2909738639)) 1.0) (* (pow (* x x) 4) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442))))))
315.0ms
(/ (+ (+ (* 0.0072644182 (pow x 6)) 1.0) (+ (* 0.1049934947 (* x x)) (* (+ (* 0.0005064034 (pow x 4)) (+ 0.0424060604 (* (pow x 6) 0.0001789971))) (pow x 4)))) (+ (+ (* (pow x 4) (+ 0.2909738639 (* (* x x) 0.0694555761))) (+ 1.0 (* x (* x 0.7715471019)))) (* (+ (* (+ (* (* 2.0 (* x x)) 0.0001789971) 0.0008327945) (* x x)) 0.0140005442) (pow (* x x) 4))))

simplify671.0ms

Counts
193 → 193
Iterations
IterNodes
done5002
11688
0564

prune6.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes72.0ms

Accuracy

100% (0.0b remaining)

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

bsearch1.0s

Steps
ItersRangePoint
9
0.030359728269424062
9645967.64350026
662.7162576505425
11
-14746478108.679678
-8.433739504313006e-14
-314168.28074828675

simplify35.0ms

Iterations
IterNodes
done142
3142
2138
1134
088

end0.0ms

sample2.7s

Algorithm
intervals
Results
2.5s8000×body80valid