Details

sample115.0ms

Algorithm

intervals

Results

85.0ms

256×

body

valid

simplify5.6s

Counts

1 → 1

Iterations

Iter	Nodes
4	8232
3	1967
2	506
1	132
0	44

prune56.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.2b

localize155.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* x x) (* x x))
0.1b	(* (* x x) (* x x))
14.5b	(* (/ (+ (+ (+ (+ (+ 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)
27.1b	(/ (+ (+ (+ (+ (+ 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)))))

rewrite24.9s

Algorithm

rewrite-expression-head

Rules

228×	`pow1`
72×	`pow-prod-up`
47×	`pow-prod-down`
44×	`pow-sqr`
36×	`pow-plus`
35×	`add-cbrt-cube` `add-exp-log`
26×	`pow2`
25×	`add-sqr-sqrt`
20×	`*-un-lft-identity` `add-cube-cbrt`
19×	`times-frac`
18×	`prod-exp` `cbrt-unprod`
17×	`associate-l`
5×	`associate-r`
4×	`associate-/r/` `insert-posit16` `add-log-exp` `unswap-sqr`
3×	`associate-/r` `flip3-+` `-commutative` `flip-+` `associate-/l*`
2×	`cbrt-undiv` `swap-sqr` `div-exp` `div-inv` `associate-/l/`
1×	`clear-num` `frac-2neg` `associate-*l/`

Counts

4 → 195

Calls

4 calls:

31.0ms	(* (* x x) (* x x))
24.0ms	(* (* x x) (* x x))
15.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.1s	(/ (+ (+ (+ (+ (+ 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)))))

series843.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(* (* x x) (* x x))
68.0ms	(* (* x x) (* x x))
396.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)
311.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)))))

simplify2.4s

Counts

207 → 207

Iterations

Iter	Nodes
2	2767
1	635
0	218

prune2.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize183.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.0s

Algorithm

rewrite-expression-head

Rules

228×	`pow1`
72×	`pow-prod-up`
47×	`pow-prod-down`
44×	`pow-sqr`
36×	`pow-plus`
35×	`add-cbrt-cube` `add-exp-log`
26×	`pow2`
25×	`add-sqr-sqrt`
21×	`associate-l`
20×	`*-un-lft-identity` `add-cube-cbrt`
19×	`times-frac`
18×	`prod-exp` `cbrt-unprod`
15×	`flip3-+` `flip-+`
12×	`frac-add` `associate-*r/` `associate-/r/`
6×	`associate-/l/`
5×	`associate-r`
4×	`insert-posit16` `add-log-exp` `unswap-sqr`
3×	`associate-/r` `-commutative` `associate-/l*`
2×	`cbrt-undiv` `swap-sqr` `div-exp` `div-inv`
1×	`clear-num` `frac-2neg` `associate-*l/`

Counts

4 → 207

Calls

4 calls:

46.0ms	(* (* x x) (* x x))
42.0ms	(* (* x x) (* x x))
2.9s	(* (/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))))) x)
2.1s	(/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442)))))))

series875.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(* (* x x) (* x x))
58.0ms	(* (* x x) (* x x))
418.0ms	(* (/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))))) x)
327.0ms	(/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442)))))))

simplify3.1s

Counts

219 → 219

Iterations

Iter	Nodes
2	4060
1	862
0	281

prune3.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize154.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.8s

Algorithm

rewrite-expression-head

Rules

228×	`pow1`
72×	`pow-prod-up`
47×	`pow-prod-down`
44×	`pow-sqr`
36×	`pow-plus`
35×	`add-cbrt-cube` `add-exp-log`
26×	`pow2`
25×	`add-sqr-sqrt`
21×	`associate-l`
20×	`*-un-lft-identity` `add-cube-cbrt`
19×	`times-frac`
18×	`prod-exp` `cbrt-unprod`
15×	`flip3-+` `flip-+`
12×	`frac-add` `associate-*r/` `associate-/r/`
6×	`associate-/l/`
5×	`associate-r`
4×	`insert-posit16` `add-log-exp` `unswap-sqr`
3×	`associate-/r` `-commutative` `associate-/l*`
2×	`cbrt-undiv` `swap-sqr` `div-exp` `div-inv`
1×	`clear-num` `frac-2neg` `associate-*l/`

Counts

4 → 207

Calls

4 calls:

24.0ms	(* (* x x) (* x x))
28.0ms	(* (* x x) (* x x))
2.9s	(* (/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* (* x x) x) x) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))))) x)
1.8s	(/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* (* x x) x) x) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442)))))))

series962.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(* (* x x) (* x x))
66.0ms	(* (* x x) (* x x))
509.0ms	(* (/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* (* x x) x) x) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))))) x)
337.0ms	(/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* (* x x) x) x) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442)))))))

simplify3.3s

Counts

219 → 219

Iterations

Iter	Nodes
2	4071
1	870
0	282

prune3.7s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize191.0ms

Local error

Found 4 expressions with local error:

1.4b	(exp (log (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0001789971) 0.0005064034)) 0.0424060604)) (+ (* (+ 0.1049934947 (* (* (* x x) (* x x)) 0.0072644182)) (* x x)) 1)) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* x (* x 0.0140005442)) 0.0694555761) (* (* x x) (* x x))))) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* (* (* x x) (* x x)) 0.0001789971) 2) (* (* x x) 0.0008327945)) (* (* x x) (* x x)))))) 1))))
14.5b	(* (exp (log (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0001789971) 0.0005064034)) 0.0424060604)) (+ (* (+ 0.1049934947 (* (* (* x x) (* x x)) 0.0072644182)) (* x x)) 1)) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* x (* x 0.0140005442)) 0.0694555761) (* (* x x) (* x x))))) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* (* (* x x) (* x x)) 0.0001789971) 2) (* (* x x) 0.0008327945)) (* (* x x) (* x x)))))) 1)))) x)
16.6b	(log (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0001789971) 0.0005064034)) 0.0424060604)) (+ (* (+ 0.1049934947 (* (* (* x x) (* x x)) 0.0072644182)) (* x x)) 1)) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* x (* x 0.0140005442)) 0.0694555761) (* (* x x) (* x x))))) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* (* (* x x) (* x x)) 0.0001789971) 2) (* (* x x) 0.0008327945)) (* (* x x) (* x x)))))) 1)))
27.1b	(/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0001789971) 0.0005064034)) 0.0424060604)) (+ (* (+ 0.1049934947 (* (* (* x x) (* x x)) 0.0072644182)) (* x x)) 1)) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* x (* x 0.0140005442)) 0.0694555761) (* (* x x) (* x x))))) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* (* (* x x) (* x x)) 0.0001789971) 2) (* (* x x) 0.0008327945)) (* (* x x) (* x x)))))) 1))

rewrite2.4s

Algorithm

rewrite-expression-head

Rules

66×	`*-un-lft-identity`
56×	`log-prod`
49×	`times-frac`
47×	`add-sqr-sqrt`
40×	`add-cube-cbrt`
38×	`exp-sum`
21×	`associate-l`
13×	`distribute-lft-out`
10×	`add-exp-log`
9×	`flip3-+` `flip-+`
8×	`pow1` `add-cbrt-cube` `associate-/r/`
6×	`associate-/l/`
4×	`exp-prod` `associate-/r` `frac-add` `associate-r/` `insert-posit16` `div-inv` `add-log-exp`
3×	`log-div` `associate-r` `associate-/l*` `unswap-sqr`
2×	`exp-diff` `div-exp` `rem-log-exp` `log-pow`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `pow-prod-down` `associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `rem-exp-log`

Counts

4 → 142

Calls

4 calls:

305.0ms	(exp (log (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0001789971) 0.0005064034)) 0.0424060604)) (+ (* (+ 0.1049934947 (* (* (* x x) (* x x)) 0.0072644182)) (* x x)) 1)) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* x (* x 0.0140005442)) 0.0694555761) (* (* x x) (* x x))))) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* (* (* x x) (* x x)) 0.0001789971) 2) (* (* x x) 0.0008327945)) (* (* x x) (* x x)))))) 1))))
1.1s	(* (exp (log (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0001789971) 0.0005064034)) 0.0424060604)) (+ (* (+ 0.1049934947 (* (* (* x x) (* x x)) 0.0072644182)) (* x x)) 1)) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* x (* x 0.0140005442)) 0.0694555761) (* (* x x) (* x x))))) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* (* (* x x) (* x x)) 0.0001789971) 2) (* (* x x) 0.0008327945)) (* (* x x) (* x x)))))) 1)))) x)
197.0ms	(log (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0001789971) 0.0005064034)) 0.0424060604)) (+ (* (+ 0.1049934947 (* (* (* x x) (* x x)) 0.0072644182)) (* x x)) 1)) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* x (* x 0.0140005442)) 0.0694555761) (* (* x x) (* x x))))) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* (* (* x x) (* x x)) 0.0001789971) 2) (* (* x x) 0.0008327945)) (* (* x x) (* x x)))))) 1)))
842.0ms	(/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0001789971) 0.0005064034)) 0.0424060604)) (+ (* (+ 0.1049934947 (* (* (* x x) (* x x)) 0.0072644182)) (* x x)) 1)) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* x (* x 0.0140005442)) 0.0694555761) (* (* x x) (* x x))))) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* (* (* x x) (* x x)) 0.0001789971) 2) (* (* x x) 0.0008327945)) (* (* x x) (* x x)))))) 1))

series1.4s

Counts

4 → 12

Calls

4 calls:

247.0ms	(exp (log (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0001789971) 0.0005064034)) 0.0424060604)) (+ (* (+ 0.1049934947 (* (* (* x x) (* x x)) 0.0072644182)) (* x x)) 1)) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* x (* x 0.0140005442)) 0.0694555761) (* (* x x) (* x x))))) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* (* (* x x) (* x x)) 0.0001789971) 2) (* (* x x) 0.0008327945)) (* (* x x) (* x x)))))) 1))))
344.0ms	(* (exp (log (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0001789971) 0.0005064034)) 0.0424060604)) (+ (* (+ 0.1049934947 (* (* (* x x) (* x x)) 0.0072644182)) (* x x)) 1)) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* x (* x 0.0140005442)) 0.0694555761) (* (* x x) (* x x))))) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* (* (* x x) (* x x)) 0.0001789971) 2) (* (* x x) 0.0008327945)) (* (* x x) (* x x)))))) 1)))) x)
566.0ms	(log (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0001789971) 0.0005064034)) 0.0424060604)) (+ (* (+ 0.1049934947 (* (* (* x x) (* x x)) 0.0072644182)) (* x x)) 1)) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* x (* x 0.0140005442)) 0.0694555761) (* (* x x) (* x x))))) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* (* (* x x) (* x x)) 0.0001789971) 2) (* (* x x) 0.0008327945)) (* (* x x) (* x x)))))) 1)))
290.0ms	(/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0001789971) 0.0005064034)) 0.0424060604)) (+ (* (+ 0.1049934947 (* (* (* x x) (* x x)) 0.0072644182)) (* x x)) 1)) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* x (* x 0.0140005442)) 0.0694555761) (* (* x x) (* x x))))) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* (* (* x x) (* x x)) 0.0001789971) 2) (* (* x x) 0.0008327945)) (* (* x x) (* x x)))))) 1))

simplify2.5s

Counts

154 → 154

Iterations

Iter	Nodes
2	2772
1	745
0	303

prune3.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes63.0ms

Accuracy

100% (0.0b remaining)

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

bsearch769.0ms

Steps

Iters	Range		Point
10	0.002603609100038161	6235082944194588.0	608.9704497227963
9	-710549284.1101115	-145.89507053458865	-67709155.8659917

simplify30.0ms

Iterations

Iter	Nodes
2	95
1	95
0	63

end0.0ms

sample3.5s

Algorithm

intervals

Results

3.4s

8000×

body

valid