Details

sample715.0ms

Algorithm

intervals

Results

453.0ms	460×	body	80	valid
43.0ms	8×	body	320	valid
20.0ms	7×	body	1280	valid
20.0ms	10×	body	640	valid
8.0ms	6×	body	160	valid

simplify728.0ms

Calls

1 calls:

Slowest

718.0ms

(+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))))

prune52.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize119.0ms

Local error

Found 4 expressions with local error:

9.1b	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
2.5b	(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
0.2b	(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
0.1b	(fma 3 (/ (- (* (* 3 x1) x1) (fma 2 x2 x1)) (fma x1 x1 1)) (+ (fma x1 (* x1 x1) (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (* (* 3 x1) x1) (* (fma x1 x1 1) (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))))) x1))

rewrite356.0ms

Algorithm

rewrite-expression-head

Rules

157×	`add-sqr-sqrt`
128×	`*-un-lft-identity`
81×	`times-frac`
79×	`add-cube-cbrt`
62×	`associate-r`
57×	`prod-diff`
55×	`associate-*r/`
32×	`frac-times`
23×	`distribute-lft-out--`
22×	`add-cbrt-cube` `add-exp-log` `difference-of-squares`
21×	`flip3--` `associate-l` `flip--` `associate-/l*`
19×	`fma-neg`
18×	`unswap-sqr`
13×	`pow1`
11×	`prod-exp` `cbrt-unprod`
9×	`associate-/r*` `un-div-inv`
6×	`clear-num` `pow-prod-down` `add-log-exp` `associate-/l/`
5×	`div-inv`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`frac-2neg` `*-commutative`
2×	`cbrt-undiv` `div-exp` `associate-*l/` `fma-udef`
1×	`associate--l-` `sub-neg` `diff-log` `div-sub`

Calls

4 calls:

Slowest

286.0ms	(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
48.0ms	(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
3.0ms	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
0.0ms	(fma 3 (/ (- (* (* 3 x1) x1) (fma 2 x2 x1)) (fma x1 x1 1)) (+ (fma x1 (* x1 x1) (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (* (* 3 x1) x1) (* (fma x1 x1 1) (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))))) x1))

series1.5s

Calls

4 calls:

Slowest

502.0ms	(fma 3 (/ (- (* (* 3 x1) x1) (fma 2 x2 x1)) (fma x1 x1 1)) (+ (fma x1 (* x1 x1) (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (* (* 3 x1) x1) (* (fma x1 x1 1) (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))))) x1))
447.0ms	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
403.0ms	(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
148.0ms	(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)

simplify1.1m

Calls

300 calls:

Slowest

1.2s	(* (* (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (* (* (* (* x1 2) (* x1 2)) (* x1 2)) (/ (* (* (- (fma x2 2 (* (* 3 x1) x1)) x1) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1)))))
1.2s	(* (- (pow (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (pow 3 3)) (* x1 2))
1.0s	(* (* (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (* (* (* (* x1 x1) x1) (* (* 2 2) 2)) (/ (* (* (- (fma x2 2 (* (* 3 x1) x1)) x1) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1)))))
804.0ms	(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
761.0ms	(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))

prune6.5s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize118.0ms

Local error

Found 4 expressions with local error:

10.2b	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (+ (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
7.3b	(fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3))))
1.0b	(* (sqrt 3) (sqrt 3))
0.2b	(* (+ (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))

rewrite211.0ms

Algorithm

rewrite-expression-head

Rules

88×	`add-sqr-sqrt`
68×	`associate-r`
55×	`-un-lft-identity` `associate-r/`
32×	`frac-times` `add-cube-cbrt`
28×	`pow1`
25×	`associate-l`
24×	`add-cbrt-cube` `add-exp-log`
22×	`unswap-sqr`
21×	`associate-/l*`
19×	`times-frac`
18×	`sqrt-prod`
17×	`flip3-+` `flip-+`
12×	`prod-exp` `cbrt-unprod`
9×	`associate-/r*` `pow-prod-down` `un-div-inv` `distribute-lft-out--`
8×	`sqrt-pow1` `pow1/2` `swap-sqr`
6×	`clear-num` `difference-of-squares` `associate-/l/`
5×	`pow-prod-up`
4×	`expm1-log1p-u` `*-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`frac-2neg` `flip3--` `pow-sqr` `flip--`
2×	`cbrt-undiv` `div-exp` `associate-*l/` `fma-udef`
1×	`pow2` `rem-square-sqrt` `pow-plus` `sqrt-unprod` `div-inv` `distribute-lft-out`

Calls

4 calls:

Slowest

176.0ms	(* (+ (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
30.0ms	(* (sqrt 3) (sqrt 3))
1.0ms	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (+ (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
0.0ms	(fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3))))

series1.4s

Calls

4 calls:

Slowest

625.0ms	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (+ (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
572.0ms	(* (+ (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
161.0ms	(fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3))))
0.0ms	(* (sqrt 3) (sqrt 3))

simplify42.3s

Calls

210 calls:

Slowest

1.1s	(* (+ (pow (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 3) (pow 0 3)) (* x1 2))
814.0ms	(* (* (* (+ (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 0) (+ (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 0)) (+ (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 0)) (* (* (* (* x1 2) (* x1 2)) (* x1 2)) (/ (* (* (- (fma x2 2 (* (* 3 x1) x1)) x1) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1)))))
802.0ms	(* (+ (pow (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 3) (pow 0 3)) (* (* x1 2) 1))
733.0ms	(* (* (* (+ (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 0) (+ (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 0)) (+ (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) 0)) (* (* (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
686.0ms	(* (- (* (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3)))) (fma 1 (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) (- (* (sqrt 3) (sqrt 3))))) (* 0 0)) (* (* x1 2) (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)))))

prune5.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize92.0ms

Local error

Found 4 expressions with local error:

10.3b	(fma (* (+ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -3) x1) (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) 2) (* (* x1 x1) (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6)))
4.4b	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* x1 (* x1 3)))
4.4b	(* (* x1 x1) (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6))
2.5b	(+ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -3)

rewrite170.0ms

Algorithm

rewrite-expression-head

Rules

71×	`add-sqr-sqrt`
43×	`associate-r`
37×	`associate-l`
33×	`*-un-lft-identity`
31×	`add-cube-cbrt`
30×	`add-cbrt-cube` `add-exp-log`
23×	`unswap-sqr`
21×	`times-frac`
18×	`pow1`
15×	`prod-exp` `cbrt-unprod`
13×	`fma-def`
9×	`pow-prod-down` `associate-*l/`
6×	`*-commutative` `add-log-exp`
4×	`expm1-log1p-u` `swap-sqr` `insert-posit16` `log1p-expm1-u`
3×	`cbrt-undiv` `associate-/r` `div-exp` `fma-udef` `associate-/l`
2×	`div-inv`
1×	`distribute-rgt-in` `+-commutative` `clear-num` `sum-log` `frac-2neg` `distribute-lft-in` `flip3-+` `flip-+` `distribute-lft-out`

Calls

4 calls:

Slowest

106.0ms	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* x1 (* x1 3)))
39.0ms	(* (* x1 x1) (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6))
19.0ms	(+ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -3)
0.0ms	(fma (* (+ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -3) x1) (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) 2) (* (* x1 x1) (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6)))

series745.0ms

Calls

4 calls:

Slowest

445.0ms	(fma (* (+ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -3) x1) (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) 2) (* (* x1 x1) (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6)))
108.0ms	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* x1 (* x1 3)))
106.0ms	(+ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -3)
86.0ms	(* (* x1 x1) (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6))

simplify21.2s

Calls

124 calls:

Slowest

790.0ms	(* (* (sqrt x1) (sqrt x1)) (sqrt (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6)))
594.0ms	(* (/ (* (* (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma 2 x2 (- (* x1 (* x1 3)) x1))) (fma 2 x2 (- (* x1 (* x1 3)) x1))) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1))) (* (* (* x1 x1) x1) (* (* (* x1 3) (* x1 3)) (* x1 3))))
589.0ms	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* x1 (* x1 3)))
580.0ms	(* (/ (* (* (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma 2 x2 (- (* x1 (* x1 3)) x1))) (fma 2 x2 (- (* x1 (* x1 3)) x1))) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1))) (* (* (* x1 x1) x1) (* (* (* x1 x1) x1) (* (* 3 3) 3))))
576.0ms	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (sqrt (fma x1 x1 1))) (* x1 (* x1 3)))

prune4.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.1b

localize107.0ms

Local error

Found 4 expressions with local error:

10.3b	(fma (* (+ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -3) x1) (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) 2) (* (* (cbrt x1) (cbrt x1)) (* (* (cbrt x1) x1) (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6))))
6.0b	(* (* (cbrt x1) x1) (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6))
4.4b	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* x1 (* x1 3)))
2.5b	(+ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -3)

rewrite175.0ms

Algorithm

rewrite-expression-head

Rules

70×	`add-sqr-sqrt`
43×	`associate-r`
41×	`associate-l`
32×	`*-un-lft-identity` `add-cbrt-cube`
30×	`add-exp-log` `add-cube-cbrt`
23×	`unswap-sqr`
21×	`times-frac`
18×	`pow1`
17×	`cbrt-unprod`
15×	`prod-exp`
13×	`fma-def`
9×	`pow-prod-down` `associate-*l/`
6×	`add-log-exp`
5×	`cbrt-prod` `*-commutative`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`cbrt-undiv` `associate-/r` `div-exp` `fma-udef` `associate-/l`
2×	`div-inv`
1×	`distribute-rgt-in` `+-commutative` `clear-num` `sum-log` `frac-2neg` `distribute-lft-in` `flip3-+` `flip-+` `distribute-lft-out`

Calls

4 calls:

Slowest

94.0ms	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* x1 (* x1 3)))
57.0ms	(* (* (cbrt x1) x1) (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6))
19.0ms	(+ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -3)
1.0ms	(fma (* (+ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -3) x1) (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) 2) (* (* (cbrt x1) (cbrt x1)) (* (* (cbrt x1) x1) (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6))))

series882.0ms

Calls

4 calls:

Slowest

462.0ms	(fma (* (+ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -3) x1) (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) 2) (* (* (cbrt x1) (cbrt x1)) (* (* (cbrt x1) x1) (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6))))
149.0ms	(* (* (cbrt x1) x1) (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6))
137.0ms	(+ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -3)
133.0ms	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* x1 (* x1 3)))

simplify20.2s

Calls

123 calls:

Slowest

627.0ms	(* (/ (* (* (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma 2 x2 (- (* x1 (* x1 3)) x1))) (fma 2 x2 (- (* x1 (* x1 3)) x1))) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1))) (* (* (* x1 x1) x1) (* (* (* x1 x1) x1) (* (* 3 3) 3))))
604.0ms	(- (* 8 (* x1 (pow x2 2))) (+ (* 20 (pow x1 3)) (* 12 (* x1 x2))))
591.0ms	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* x1 (* x1 3)))
574.0ms	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (sqrt (fma x1 x1 1))) (* x1 (* x1 3)))
548.0ms	(* (/ (* (* (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma 2 x2 (- (* x1 (* x1 3)) x1))) (fma 2 x2 (- (* x1 (* x1 3)) x1))) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1))) (* (* (* x1 (* x1 3)) (* x1 (* x1 3))) (* x1 (* x1 3))))

prune4.5s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.1b

regimes712.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 0.4b

bsearch18.0ms

end0.0ms

sample8.6s

Algorithm

intervals

Results

6.6s	14132×	body	80	valid
752.0ms	402×	body	640	valid
464.0ms	180×	body	1280	valid
353.0ms	300×	body	320	valid
153.0ms	182×	body	160	valid