Details

sample152.0ms

Algorithm

intervals

Results

115.0ms

502×

body

valid

simplify306.0ms

Calls

1 calls:

Slowest

306.0ms

(- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))

prune54.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.1b

localize45.0ms

Local error

Found 4 expressions with local error:

3.8b	(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
3.3b	(* (* y z) (* x 18.0))
0.4b	(fma k (* 27.0 j) (* (* x 4.0) i))
0.0b	(- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i)))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-log-exp`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`prod-diff` `fma-udef`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `associate-r` `associate-l` `*-commutative` `flip--` `associate--r+`

Calls

4 calls:

Slowest

38.0ms	(* (* y z) (* x 18.0))
8.0ms	(- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i)))
0.0ms	(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
0.0ms	(fma k (* 27.0 j) (* (* x 4.0) i))

series3.8s

Calls

4 calls:

Slowest

3.5s	(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
149.0ms	(- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i)))
104.0ms	(fma k (* 27.0 j) (* (* x 4.0) i))
49.0ms	(* (* y z) (* x 18.0))

simplify6.0s

Calls

32 calls:

Slowest

820.0ms	(/ (exp (* c b)) (exp (fma k (* 27.0 j) (* (* x 4.0) i))))
527.0ms	(fma (- (fma k (* 27.0 j) (* (* x 4.0) i))) 1 (* (fma k (* 27.0 j) (* (* x 4.0) i)) 1))
401.0ms	(fma c b (- (* (fma k (* 27.0 j) (* (* x 4.0) i)) 1)))
398.0ms	(- (* b c) (+ (* 27.0 (* j k)) (* 4.0 (* i x))))
387.0ms	(fma c b (- (* (cbrt (fma k (* 27.0 j) (* (* x 4.0) i))) (* (cbrt (fma k (* 27.0 j) (* (* x 4.0) i))) (cbrt (fma k (* 27.0 j) (* (* x 4.0) i)))))))

prune2.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.8b

localize65.0ms

Local error

Found 4 expressions with local error:

3.8b	(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma (* k j) 27.0 (* (* x 4.0) i))))
3.3b	(* (* y z) (* x 18.0))
0.1b	(fma (* k j) 27.0 (* (* x 4.0) i))
0.0b	(- (* c b) (fma (* k j) 27.0 (* (* x 4.0) i)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-log-exp`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`prod-diff` `fma-udef`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `associate-r` `associate-l` `*-commutative` `flip--` `associate--r+`

Calls

4 calls:

Slowest

47.0ms	(* (* y z) (* x 18.0))
16.0ms	(- (* c b) (fma (* k j) 27.0 (* (* x 4.0) i)))
1.0ms	(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma (* k j) 27.0 (* (* x 4.0) i))))
0.0ms	(fma (* k j) 27.0 (* (* x 4.0) i))

series3.9s

Calls

4 calls:

Slowest

3.6s	(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma (* k j) 27.0 (* (* x 4.0) i))))
163.0ms	(- (* c b) (fma (* k j) 27.0 (* (* x 4.0) i)))
70.0ms	(fma (* k j) 27.0 (* (* x 4.0) i))
50.0ms	(* (* y z) (* x 18.0))

simplify5.6s

Calls

32 calls:

Slowest

551.0ms	(fma (- (fma (* k j) 27.0 (* (* x 4.0) i))) 1 (* (fma (* k j) 27.0 (* (* x 4.0) i)) 1))
429.0ms	(fma c b (- (* (fma (* k j) 27.0 (* (* x 4.0) i)) 1)))
415.0ms	(/ (exp (* c b)) (exp (fma (* k j) 27.0 (* (* x 4.0) i))))
377.0ms	(fma c b (- (* (cbrt (fma (* k j) 27.0 (* (* x 4.0) i))) (* (cbrt (fma (* k j) 27.0 (* (* x 4.0) i))) (cbrt (fma (* k j) 27.0 (* (* x 4.0) i)))))))
375.0ms	(- (* b c) (+ (* 27.0 (* j k)) (* 4.0 (* i x))))

prune1.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.8b

localize77.0ms

Local error

Found 4 expressions with local error:

3.8b	(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* b c) (fma (* 27.0 k) j (* i (* 4.0 x)))))
3.3b	(* (* y z) (* x 18.0))
0.4b	(fma (* 27.0 k) j (* i (* 4.0 x)))
0.0b	(- (* b c) (fma (* 27.0 k) j (* i (* 4.0 x))))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-log-exp`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`prod-diff` `fma-udef`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `associate-r` `associate-l` `*-commutative` `flip--` `associate--r+`

Calls

4 calls:

Slowest

42.0ms	(* (* y z) (* x 18.0))
8.0ms	(- (* b c) (fma (* 27.0 k) j (* i (* 4.0 x))))
1.0ms	(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* b c) (fma (* 27.0 k) j (* i (* 4.0 x)))))
0.0ms	(fma (* 27.0 k) j (* i (* 4.0 x)))

series3.8s

Calls

4 calls:

Slowest

3.6s	(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* b c) (fma (* 27.0 k) j (* i (* 4.0 x)))))
117.0ms	(- (* b c) (fma (* 27.0 k) j (* i (* 4.0 x))))
65.0ms	(fma (* 27.0 k) j (* i (* 4.0 x)))
53.0ms	(* (* y z) (* x 18.0))

simplify5.6s

Calls

32 calls:

Slowest

526.0ms	(fma (- (fma (* 27.0 k) j (* i (* 4.0 x)))) 1 (* (fma (* 27.0 k) j (* i (* 4.0 x))) 1))
433.0ms	(fma (- (sqrt (fma (* 27.0 k) j (* i (* 4.0 x))))) (sqrt (fma (* 27.0 k) j (* i (* 4.0 x)))) (* (sqrt (fma (* 27.0 k) j (* i (* 4.0 x)))) (sqrt (fma (* 27.0 k) j (* i (* 4.0 x))))))
414.0ms	(fma b c (- (* (cbrt (fma (* 27.0 k) j (* i (* 4.0 x)))) (* (cbrt (fma (* 27.0 k) j (* i (* 4.0 x)))) (cbrt (fma (* 27.0 k) j (* i (* 4.0 x))))))))
413.0ms	(fma b c (- (* (fma (* 27.0 k) j (* i (* 4.0 x))) 1)))
407.0ms	(/ (exp (* b c)) (exp (fma (* 27.0 k) j (* i (* 4.0 x)))))

prune1.9s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.8b

localize59.0ms

Local error

Found 4 expressions with local error:

3.8b	(fma (- (* y (* z (* x 18.0))) (* a 4.0)) t (- (* c b) (fma (* k j) 27.0 (* (* x 4.0) i))))
3.7b	(* y (* z (* x 18.0)))
0.2b	(* z (* x 18.0))
0.1b	(fma (* k j) 27.0 (* (* x 4.0) i))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-cbrt-cube` `add-exp-log`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `-un-lft-identity` `associate-l*` `add-cube-cbrt`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`associate-r` `*-commutative` `fma-udef`

Calls

4 calls:

Slowest

52.0ms	(* y (* z (* x 18.0)))
27.0ms	(* z (* x 18.0))
1.0ms	(fma (* k j) 27.0 (* (* x 4.0) i))
0.0ms	(fma (- (* y (* z (* x 18.0))) (* a 4.0)) t (- (* c b) (fma (* k j) 27.0 (* (* x 4.0) i))))

series3.8s

Calls

4 calls:

Slowest

3.7s	(fma (- (* y (* z (* x 18.0))) (* a 4.0)) t (- (* c b) (fma (* k j) 27.0 (* (* x 4.0) i))))
72.0ms	(fma (* k j) 27.0 (* (* x 4.0) i))
58.0ms	(* y (* z (* x 18.0)))
21.0ms	(* z (* x 18.0))

simplify3.9s

Calls

32 calls:

Slowest

709.0ms	(* (* (* y y) y) (* (* (* z (* x 18.0)) (* z (* x 18.0))) (* z (* x 18.0))))
604.0ms	(* (* (* z z) z) (* (* (* x 18.0) (* x 18.0)) (* x 18.0)))
448.0ms	(* (* (* z z) z) (* (* (* x x) x) (* (* 18.0 18.0) 18.0)))
343.0ms	(* 18.0 (* t (* x (* z y))))
325.0ms	(* 18.0 (* t (* x (* z y))))

prune1.8s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 1.8b

regimes2.0s

Accuracy

44.3% (2.3b remaining)

Error of 4.3b against oracle of 2.0b and baseline of 6.2b

bsearch402.0ms

end0.0ms

sample6.4s

Algorithm

intervals

Results

4.9s

16009×

body

valid