Details

Time bar (total: 1.3m)

sample93.0ms

Algorithm
intervals
Results
53.0ms256×body80valid

simplify3.3s

Counts
1 → 1
Iterations

Useful iterations: done (3.3s)

IterNodesCost
0441253
11321253
25471253
327401173
done50011133

prune46.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.9b

localize203.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.0424060604 (* x x))
0.1b
(* (* x x) 0.0694555761)
13.5b
(* (/ (+ 1.0 (+ (* (* x x) (+ 0.1049934947 (+ (* 0.0424060604 (* x x)) (* 0.0072644182 (* (* x x) (* x x)))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0))) x)
28.4b
(/ (+ 1.0 (+ (* (* x x) (+ 0.1049934947 (+ (* 0.0424060604 (* x x)) (* 0.0072644182 (* (* x x) (* x x)))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))

rewrite10.8s

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
31×add-sqr-sqrt
26×associate-*l*
25×times-frac
24×add-cube-cbrt
21×add-cbrt-cube add-exp-log
16×pow1
12×associate-/r/
11×flip3-+ flip-+
8×frac-add prod-exp associate-*r/ cbrt-unprod
7×associate-*r* pow-prod-down distribute-lft-out
4×associate-/l* add-log-exp unswap-sqr
3×associate-/r* *-commutative
2×cbrt-undiv div-exp div-inv associate-/l/
1×clear-num frac-2neg associate-*l/
Counts
4 → 118
Calls
4 calls:
13.0ms
(* 0.0424060604 (* x x))
15.0ms
(* (* x x) 0.0694555761)
7.0s
(* (/ (+ 1.0 (+ (* (* x x) (+ 0.1049934947 (+ (* 0.0424060604 (* x x)) (* 0.0072644182 (* (* x x) (* x x)))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0))) x)
3.8s
(/ (+ 1.0 (+ (* (* x x) (+ 0.1049934947 (+ (* 0.0424060604 (* x x)) (* 0.0072644182 (* (* x x) (* x x)))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))

series786.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* 0.0424060604 (* x x))
48.0ms
(* (* x x) 0.0694555761)
389.0ms
(* (/ (+ 1.0 (+ (* (* x x) (+ 0.1049934947 (+ (* 0.0424060604 (* x x)) (* 0.0072644182 (* (* x x) (* x x)))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0))) x)
313.0ms
(/ (+ 1.0 (+ (* (* x x) (+ 0.1049934947 (+ (* 0.0424060604 (* x x)) (* 0.0072644182 (* (* x x) (* x x)))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))

simplify2.6s

Counts
130 → 130
Iterations

Useful iterations: done (2.5s)

IterNodesCost
0275115816
1893110320
done5000109395

prune1.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize149.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.0424060604 (* x x))
0.1b
(* (* x x) 0.0694555761)
0.3b
(/ x (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))
28.0b
(* (+ 1.0 (+ (* (* x x) (+ 0.1049934947 (+ (* 0.0424060604 (* x x)) (* 0.0072644182 (* (* x x) (* x x)))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (/ x (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0))))

rewrite10.8s

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
24×*-un-lft-identity
23×associate-*r*
22×add-cube-cbrt
21×add-cbrt-cube add-exp-log
19×times-frac
16×pow1
12×flip3-+ associate-/r/ flip-+
9×associate-*r/
8×associate-*l* frac-add prod-exp cbrt-unprod
7×pow-prod-down
4×add-log-exp unswap-sqr
3×associate-/r* *-commutative associate-/l*
2×frac-times cbrt-undiv div-exp associate-*l/ div-inv
1×clear-num frac-2neg distribute-lft-out
Counts
4 → 114
Calls
4 calls:
17.0ms
(* 0.0424060604 (* x x))
29.0ms
(* (* x x) 0.0694555761)
3.1s
(/ x (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))
7.7s
(* (+ 1.0 (+ (* (* x x) (+ 0.1049934947 (+ (* 0.0424060604 (* x x)) (* 0.0072644182 (* (* x x) (* x x)))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (/ x (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0))))

series678.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* 0.0424060604 (* x x))
38.0ms
(* (* x x) 0.0694555761)
267.0ms
(/ x (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))
340.0ms
(* (+ 1.0 (+ (* (* x x) (+ 0.1049934947 (+ (* 0.0424060604 (* x x)) (* 0.0072644182 (* (* x x) (* x x)))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (/ x (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0))))

simplify2.8s

Counts
126 → 126
Iterations

Useful iterations: done (2.7s)

IterNodesCost
0279100025
192193577
done500092931

prune1.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize240.0ms

Local error

Found 4 expressions with local error:

1.3b
(/ x (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0))))
2.4b
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))
2.4b
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))
28.0b
(* (+ 1.0 (+ (* (* x x) (+ 0.1049934947 (+ (* 0.0424060604 (* x x)) (* 0.0072644182 (* (* x x) (* x x)))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (/ (/ x (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))))

rewrite23.4s

Algorithm
rewrite-expression-head
Rules
304×times-frac
183×add-sqr-sqrt
178×associate-*r*
161×sqrt-prod
159×*-un-lft-identity
157×add-cube-cbrt
60×sqrt-div
52×flip3-+ flip-+
48×associate-/r/
41×associate-*r/
40×frac-add
15×add-cbrt-cube add-exp-log
8×pow1 div-inv
7×unswap-sqr
6×associate-/r*
4×cbrt-undiv div-exp associate-*l* add-log-exp
3×prod-exp cbrt-unprod associate-/l*
2×frac-times rem-sqrt-square sqrt-pow1 pow1/2 associate-*l/
1×clear-num frac-2neg pow-prod-down *-commutative distribute-lft-out
Counts
4 → 292
Calls
4 calls:
3.2s
(/ x (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0))))
3.0s
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))
3.2s
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))
13.9s
(* (+ 1.0 (+ (* (* x x) (+ 0.1049934947 (+ (* 0.0424060604 (* x x)) (* 0.0072644182 (* (* x x) (* x x)))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (/ (/ x (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))))

series1.2s

Counts
4 → 12
Calls
4 calls:
360.0ms
(/ x (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0))))
219.0ms
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))
209.0ms
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))
368.0ms
(* (+ 1.0 (+ (* (* x x) (+ 0.1049934947 (+ (* 0.0424060604 (* x x)) (* 0.0072644182 (* (* x x) (* x x)))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (/ (/ x (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) 0.0140005442)) (+ (* (* x x) (+ 0.7715471019 (* (* x x) (+ 0.2909738639 (* (* x x) 0.0694555761))))) 1.0)))))

simplify8.3s

Counts
304 → 304
Iterations

Useful iterations: done (8.0s)

IterNodesCost
0567416804
11815386061
done5002380924

prune3.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite333.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
24×add-sqr-sqrt times-frac
23×pow1 add-exp-log add-cube-cbrt
20×add-cbrt-cube
12×unpow-prod-down
9×add-log-exp
8×associate-/r*
6×pow-plus div-exp prod-exp pow-prod-up cbrt-unprod associate-/l*
4×cbrt-undiv frac-add sqr-pow
3×sum-log associate-*r* pow-prod-down distribute-lft-out
2×pow2 clear-num frac-2neg flip3-+ pow-sqr flip-+ div-inv
1×pow-to-exp +-commutative associate-+l+ associate-*l* pow3 pow-exp *-commutative unswap-sqr
Counts
4 → 114
Calls
4 calls:
280.0ms
(+ (+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x)) (/ 0.2514179000665375 (* (* x x) x)))
28.0ms
(* (* x x) x)
7.0ms
(/ 0.15298196345929327 (pow x 5))
15.0ms
(/ 0.2514179000665375 (* (* x x) x))

series263.0ms

Counts
4 → 12
Calls
4 calls:
93.0ms
(+ (+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x)) (/ 0.2514179000665375 (* (* x x) x)))
42.0ms
(* (* x x) x)
69.0ms
(/ 0.15298196345929327 (pow x 5))
59.0ms
(/ 0.2514179000665375 (* (* x x) x))

simplify2.3s

Counts
126 → 126
Iterations

Useful iterations: 2 (928.0ms)

IterNodesCost
020446223
153241230
2305239939
done500139939

prune481.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes86.0ms

Accuracy

100% (0.0b remaining)

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

bsearch438.0ms

Steps
ItersRangePoint
3
261980.93535209994
383123.6636286385
299725.93099308695
9
-2.8161314526239392e+28
-6.2573470230411204e+22
-2.987017111542203e+25

simplify64.0ms

Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
0581849
1881849
done881849

end0.0ms

sample2.7s

Algorithm
intervals
Results
2.5s8000×body80valid