Details

sample154.0ms

Algorithm

intervals

Results

91.0ms

256×

body

valid

simplify551.0ms

Calls

1 calls:

Slowest

550.0ms

(* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)

prune28.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.4b

localize160.0ms

Local error

Found 4 expressions with local error:

31.3b	(/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
16.7b	(* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
0.1b	(* 0.1049934947 (* x x))
0.1b	(* (* x x) (* x x))

rewrite5.6s

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`times-frac`
16×	`associate-l`
9×	`pow1`
8×	`add-cbrt-cube` `add-exp-log`
5×	`pow2`
4×	`associate-/r/` `insert-posit16` `add-log-exp`
3×	`associate-/r` `flip3-+` `-commutative` `flip-+` `associate-/l*`
2×	`associate-r` `pow-prod-down` `pow-prod-up` `div-inv` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `pow-plus` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod`

Calls

4 calls:

Slowest

2.8s	(/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
2.7s	(* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
9.0ms	(* (* x x) (* x x))
2.0ms	(* 0.1049934947 (* x x))

series304.0ms

Calls

4 calls:

Slowest

144.0ms	(* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
118.0ms	(/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
23.0ms	(* (* x x) (* x x))
18.0ms	(* 0.1049934947 (* x x))

simplify14.7s

Calls

64 calls:

Slowest

1.2s	(- (* (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x))))) (* (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))
772.0ms	(+ (pow (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) 3) (pow (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))) 3))
603.0ms	(/ (* (* (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) (* (* (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))))
531.0ms	(+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))
529.0ms	(- (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))

prune2.7s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

8×	`*-un-lft-identity`
6×	`add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
4×	`pow1` `associate-/r*` `add-cbrt-cube` `add-exp-log` `insert-posit16`
3×	`clear-num` `frac-2neg` `div-inv` `associate-/l*`
2×	`flip3-+` `flip-+` `associate-/l/`
1×	`+-commutative` `sum-log` `frac-add` `distribute-lft-out`

Calls

4 calls:

Slowest

15.0ms	(+ (/ 0.15298196345929327 (pow x 5)) (/ (+ 0.5 (/ 0.2514179000665375 (* x x))) x))
11.0ms	(/ (+ 0.5 (/ 0.2514179000665375 (* x x))) x)
1.0ms	(/ 0.15298196345929327 (pow x 5))
0.0ms	(/ 0.2514179000665375 (* x x))

series95.0ms

Calls

4 calls:

Slowest

40.0ms	(/ (+ 0.5 (/ 0.2514179000665375 (* x x))) x)
23.0ms	(+ (/ 0.15298196345929327 (pow x 5)) (/ (+ 0.5 (/ 0.2514179000665375 (* x x))) x))
19.0ms	(/ 0.15298196345929327 (pow x 5))
14.0ms	(/ 0.2514179000665375 (* x x))

simplify1.8s

Calls

23 calls:

Slowest

381.0ms	(+ (pow 0.5 3) (pow (/ 0.2514179000665375 (* x x)) 3))
251.0ms	(- (* 0.5 0.5) (* (/ 0.2514179000665375 (* x x)) (/ 0.2514179000665375 (* x x))))
167.0ms	(+ (* 0.15298196345929327 (/ 1 (pow x 5))) (+ (* 0.2514179000665375 (/ 1 (pow x 3))) (* 0.5 (/ 1 x))))
164.0ms	(+ (* 0.15298196345929327 (/ 1 (pow x 5))) (+ (* 0.2514179000665375 (/ 1 (pow x 3))) (* 0.5 (/ 1 x))))
157.0ms	(+ (* 0.2514179000665375 (/ 1 (pow x 3))) (* 0.5 (/ 1 x)))

prune607.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

31.4b	(/ (* (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) x) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
0.1b	(* 0.1049934947 (* x x))
0.1b	(* (* x x) (* x x))
0.1b	(* (* x x) (* x x))

rewrite2.4s

Algorithm

rewrite-expression-head

Rules

14×	`pow1`
10×	`pow2` `add-cbrt-cube` `add-exp-log`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`pow-prod-down` `pow-prod-up` `insert-posit16` `add-log-exp`
3×	`associate-/r` `times-frac` `associate-r` `-commutative`
2×	`flip3-+` `pow-plus` `associate-l` `associate-*l/` `prod-exp` `associate-/r/` `cbrt-unprod` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `div-inv` `associate-/l*`

Calls

4 calls:

Slowest

2.4s	(/ (* (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) x) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
9.0ms	(* (* x x) (* x x))
9.0ms	(* (* x x) (* x x))
2.0ms	(* 0.1049934947 (* x x))

series206.0ms

Calls

4 calls:

Slowest

153.0ms	(/ (* (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) x) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
22.0ms	(* (* x x) (* x x))
20.0ms	(* (* x x) (* x x))
11.0ms	(* 0.1049934947 (* x x))

simplify8.8s

Calls

44 calls:

Slowest

1.2s	(* (- (* (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x))))) (* (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) x)
1.2s	(* (+ (pow (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) 3) (pow (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))) 3)) x)
531.0ms	(/ x (sqrt (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))))
521.0ms	(+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))
512.0ms	(- (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))

prune2.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

22.7b	(- (* (pow x 5) 0.265709700396151) (* x (* (* x x) 0.6665536072)))
0.1b	(* (* x x) 0.6665536072)
0.1b	(* x (* (* x x) 0.6665536072))
0.1b	(* (pow x 5) 0.265709700396151)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`pow1` `add-cbrt-cube` `associate-l` `add-exp-log` `insert-posit16`
3×	`*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `associate-r` `flip--`

Calls

4 calls:

Slowest

6.0ms	(- (* (pow x 5) 0.265709700396151) (* x (* (* x x) 0.6665536072)))
4.0ms	(* x (* (* x x) 0.6665536072))
3.0ms	(* (* x x) 0.6665536072)
3.0ms	(* (pow x 5) 0.265709700396151)

series114.0ms

Calls

4 calls:

Slowest

58.0ms	(- (* (pow x 5) 0.265709700396151) (* x (* (* x x) 0.6665536072)))
21.0ms	(* (pow x 5) 0.265709700396151)
20.0ms	(* x (* (* x x) 0.6665536072))
15.0ms	(* (* x x) 0.6665536072)

simplify467.0ms

Calls

15 calls:

Slowest

132.0ms	(/ (exp (* (pow x 5) 0.265709700396151)) (exp (* x (* (* x x) 0.6665536072))))
77.0ms	(- (* 0.265709700396151 (pow x 5)) (* 0.6665536072 (pow x 3)))
70.0ms	(- (* 0.265709700396151 (pow x 5)) (* 0.6665536072 (pow x 3)))
56.0ms	(- (* 0.265709700396151 (pow x 5)) (* 0.6665536072 (pow x 3)))
20.0ms	(* 0.6665536072 (pow x 3))

prune580.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes79.0ms

Accuracy

100% (0.0b remaining)

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

bsearch769.0ms

end0.0ms

sample4.1s

Algorithm

intervals

Results

4.0s

8000×

body

valid