Details

sample112.0ms

Algorithm

intervals

Results

84.0ms

256×

body

valid

simplify4.8s

Counts

1 → 1

Iterations

Iter	Nodes
4	8449
3	1993
2	508
1	134
0	44

prune47.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.4b

localize118.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 0.0008327945 (* x x))
0.4b	(* (* x x) 0.0001789971)
13.4b	(* (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) x)
27.4b	(/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

rewrite7.8s

Algorithm

rewrite-expression-head

Rules

44×	`frac-add` `associate-*r/`
39×	`flip3-+` `flip-+`
31×	`associate-l`
29×	`add-sqr-sqrt`
28×	`associate-/r/`
22×	`*-un-lft-identity` `add-cube-cbrt`
21×	`add-cbrt-cube` `add-exp-log`
19×	`times-frac`
16×	`pow1`
8×	`prod-exp` `cbrt-unprod`
7×	`associate-r` `pow-prod-down`
6×	`associate-/l/`
4×	`insert-posit16` `add-log-exp` `unswap-sqr`
3×	`associate-/r` `-commutative` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `div-inv`
1×	`clear-num` `frac-2neg` `associate-*l/`

Counts

4 → 135

Calls

4 calls:

26.0ms	(* 0.0008327945 (* x x))
29.0ms	(* (* x x) 0.0001789971)
5.0s	(* (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) x)
2.8s	(/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

series821.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(* 0.0008327945 (* x x))
51.0ms	(* (* x x) 0.0001789971)
430.0ms	(* (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) x)
309.0ms	(/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

simplify5.1s

Counts

147 → 147

Iterations

Iter	Nodes
2	6690
1	1328
0	382

prune4.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize176.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* x x) 0.0001789971)
0.4b	(* (* x x) 0.0001789971)
13.4b	(* (/ (+ (* (- (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (* 1 1)) (- (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) (* (- (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (- (* (* (* (* x x) (* x x)) 0.0072644182) (* (* (* x x) (* x x)) 0.0072644182)) (* 0.1049934947 0.1049934947))))) (* (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))) (* (- (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (- (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)))) x)
28.1b	(/ (+ (* (- (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (* 1 1)) (- (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) (* (- (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (- (* (* (* (* x x) (* x x)) 0.0072644182) (* (* (* x x) (* x x)) 0.0072644182)) (* 0.1049934947 0.1049934947))))) (* (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))) (* (- (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (- (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))))

rewrite14.4s

Algorithm

rewrite-expression-head

Rules

516×	`associate-*r/`
424×	`frac-add`
408×	`frac-times`
307×	`flip3-+` `flip-+`
276×	`flip3--` `flip--`
268×	`associate-/r/`
143×	`associate-l`
121×	`associate-*l/`
66×	`associate-/l/`
37×	`add-cbrt-cube` `add-exp-log`
16×	`pow1` `prod-exp` `cbrt-unprod`
15×	`add-sqr-sqrt`
11×	`*-un-lft-identity` `add-cube-cbrt`
9×	`associate-r`
7×	`pow-prod-down`
6×	`cbrt-undiv` `times-frac` `div-exp`
4×	`insert-posit16` `add-log-exp`
3×	`-commutative` `associate-/l` `unswap-sqr`
2×	`div-inv`
1×	`clear-num` `associate-/r*` `frac-2neg`

Counts

4 → 428

Calls

4 calls:

14.0ms	(* (* x x) 0.0001789971)
18.0ms	(* (* x x) 0.0001789971)
9.6s	(* (/ (+ (* (- (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (* 1 1)) (- (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) (* (- (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (- (* (* (* (* x x) (* x x)) 0.0072644182) (* (* (* x x) (* x x)) 0.0072644182)) (* 0.1049934947 0.1049934947))))) (* (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))) (* (- (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (- (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)))) x)
4.7s	(/ (+ (* (- (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (* 1 1)) (- (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) (* (- (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (- (* (* (* (* x x) (* x x)) 0.0072644182) (* (* (* x x) (* x x)) 0.0072644182)) (* 0.1049934947 0.1049934947))))) (* (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))) (* (- (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (- (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))))

series1.6s

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (* x x) 0.0001789971)
34.0ms	(* (* x x) 0.0001789971)
846.0ms	(* (/ (+ (* (- (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (* 1 1)) (- (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) (* (- (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (- (* (* (* (* x x) (* x x)) 0.0072644182) (* (* (* x x) (* x x)) 0.0072644182)) (* 0.1049934947 0.1049934947))))) (* (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))) (* (- (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (- (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)))) x)
716.0ms	(/ (+ (* (- (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (* 1 1)) (- (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) (* (- (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (- (* (* (* (* x x) (* x x)) 0.0072644182) (* (* (* x x) (* x x)) 0.0072644182)) (* 0.1049934947 0.1049934947))))) (* (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))) (* (- (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (- (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))))

simplify7.0s

Counts

440 → 440

Iterations

Iter	Nodes
1	4045
0	1016

prune24.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (* (* x x) (* x x)))
0.1b	(* x (* x x))
0.1b	(/ 0.15298196345929327 (* x (* (* x x) (* x x))))
0.2b	(* (* x x) (* x x))

rewrite218.0ms

Algorithm

rewrite-expression-head

Rules

225×	`pow1`
91×	`pow-prod-up`
64×	`add-cbrt-cube` `add-exp-log`
39×	`pow-prod-down` `pow-sqr`
37×	`prod-exp` `cbrt-unprod`
31×	`pow-plus`
24×	`pow2`
10×	`add-sqr-sqrt`
8×	`*-un-lft-identity` `add-cube-cbrt`
7×	`associate-l`
6×	`cbrt-undiv` `div-exp`
4×	`insert-posit16` `add-log-exp`
3×	`times-frac` `associate-r` `-commutative` `associate-/l` `unswap-sqr`
1×	`clear-num` `associate-/r*` `frac-2neg` `cube-unmult` `swap-sqr` `div-inv`

Counts

4 → 170

Calls

4 calls:

84.0ms	(* x (* (* x x) (* x x)))
27.0ms	(* x (* x x))
71.0ms	(/ 0.15298196345929327 (* x (* (* x x) (* x x))))
29.0ms	(* (* x x) (* x x))

series239.0ms

Counts

4 → 12

Calls

4 calls:

83.0ms	(* x (* (* x x) (* x x)))
42.0ms	(* x (* x x))
65.0ms	(/ 0.15298196345929327 (* x (* (* x x) (* x x))))
48.0ms	(* (* x x) (* x x))

simplify1.4s

Counts

182 → 182

Iterations

Iter	Nodes
3	3023
2	775
1	352
0	143

prune1.7s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes78.0ms

Accuracy

100% (0.0b remaining)

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

bsearch862.0ms

Steps

Iters	Range		Point
10	3.724243043503383e-05	335086.0623706297	675.6824609212857
8	-1459332230653.2007	-4069031651.7323933	-5045618861.118914

simplify54.0ms

Iterations

Iter	Nodes
2	102
1	102
0	67

end0.0ms

sample4.0s

Algorithm

intervals

Results

3.8s

8000×

body

valid