Details

sample181.0ms

Algorithm

intervals

Results

73.0ms	244×	body	80	nan
64.0ms	256×	body	80	valid

simplify185.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

185.0ms

(/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.5b

localize94.0ms

Local error

Found 4 expressions with local error:

4.9b	(/ (sqrt (+ a t)) (/ t z))
3.1b	(- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))
0.4b	(/ 2.0 (* t 3.0))
0.1b	(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))

rewrite401.0ms

Algorithm

rewrite-expression-head

Rules

474×	`times-frac`
355×	`*-un-lft-identity`
272×	`add-sqr-sqrt`
268×	`add-cube-cbrt`
160×	`sqrt-prod`
132×	`prod-diff`
96×	`fma-neg`
42×	`distribute-lft-out`
26×	`div-inv`
22×	`distribute-rgt-in` `distribute-lft-in` `associate--r+`
17×	`flip3--` `flip--`
16×	`frac-times` `add-cbrt-cube` `add-exp-log`
14×	`associate-/r*` `frac-sub`
12×	`frac-add`
10×	`associate-/l*`
8×	`associate-*l/`
7×	`flip3-+` `flip-+`
6×	`pow1` `add-log-exp`
5×	`cbrt-undiv` `sub-neg` `div-exp` `associate-r` `associate-l`
4×	`expm1-log1p-u` `associate-*r/` `insert-posit16` `log1p-expm1-u`
3×	`associate-/r/`
2×	`clear-num` `frac-2neg` `sqrt-div` `prod-exp` `cbrt-unprod` `distribute-lft-out--` `associate-/l/`
1×	`diff-log` `pow-prod-down` `*-commutative` `difference-of-squares` `unswap-sqr`

Counts

4 → 459

Calls

4 calls:

Slowest

256.0ms	(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))
76.0ms	(- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))
35.0ms	(/ (sqrt (+ a t)) (/ t z))
14.0ms	(/ 2.0 (* t 3.0))

series477.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

250.0ms	(- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))
106.0ms	(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))
91.0ms	(/ (sqrt (+ a t)) (/ t z))
30.0ms	(/ 2.0 (* t 3.0))

simplify1.6m

Counts

625 → 471

Calls

625 calls:

Slowest

803.0ms	(fma (- (- b c)) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (* (- b c) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0))))
801.0ms	(- (* (sqrt (+ a t)) (* (* (+ a (/ 2.0 (* t 3.0))) 6.0) (+ (* b b) (+ (* c c) (* b c))))) (* (/ t z) (* (+ (* (- (* a a) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))) 6.0) (* (+ a (/ 2.0 (* t 3.0))) 5.0)) (- (pow b 3) (pow c 3)))))
668.0ms	(fma (- (- b c)) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (* (- b c) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0))))
650.0ms	(- (* (sqrt (+ a t)) (* (+ (* (- a (/ 2.0 (* t 3.0))) (- a (/ 2.0 (* t 3.0)))) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)))) (+ b c))) (* (/ t z) (* (+ (pow (- a (/ 2.0 (* t 3.0))) 3) (pow (/ 5.0 6.0) 3)) (- (* b b) (* c c)))))
632.0ms	(fma (- (- b c)) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (* (- b c) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0))))

prune11.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize136.0ms

Local error

Found 4 expressions with local error:

2.2b	(fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))
0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
1×	`fma-udef`

Counts

4 → 53

Calls

4 calls:

Slowest

1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)
0.0ms	(fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))

series2.1s

Counts

4 → 12

Calls

4 calls:

Slowest

1.1s	(fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))
332.0ms	(cbrt t)
325.0ms	(cbrt t)
309.0ms	(cbrt t)

simplify848.0ms

Counts

21 → 65

Calls

21 calls:

Slowest

182.0ms	(* (pow (* t -1) 1/3) (cbrt -1))
143.0ms	(* (pow (* t -1) 1/3) (cbrt -1))
139.0ms	(* (pow (* t -1) 1/3) (cbrt -1))
133.0ms	(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))
129.0ms	(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))

prune1.8s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize189.0ms

Local error

Found 4 expressions with local error:

26.9b	(cbrt (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
26.9b	(cbrt (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
26.9b	(cbrt (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
2.2b	(fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
1×	`fma-udef`

Counts

4 → 53

Calls

4 calls:

Slowest

1.0ms	(cbrt (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
1.0ms	(cbrt (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
1.0ms	(cbrt (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
0.0ms	(fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))

series7.8s

Counts

4 → 12

Calls

4 calls:

Slowest

2.4s	(cbrt (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
2.3s	(cbrt (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
2.3s	(cbrt (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
760.0ms	(fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))

simplify4.9s

Counts

21 → 65

Calls

21 calls:

Slowest

476.0ms	(- (exp (* 1/3 (- (+ (log (- 0.6666666666666666)) (log c)) (log t)))) (+ (* 0.17361111111111113 (* (exp (* 1/3 (- (+ (log (- 0.6666666666666666)) (log c)) (log t)))) (pow t 2))) (* 0.4166666666666667 (* (exp (* 1/3 (- (+ (log (- 0.6666666666666666)) (log c)) (log t)))) t))))
419.0ms	(- (+ (* 0.2777777777777778 (/ (exp (* 1/3 (- (log -1) (+ (log (/ -1 a)) (log (/ -1 b)))))) a)) (exp (* 1/3 (- (log -1) (+ (log (/ -1 a)) (log (/ -1 b))))))) (* 0.2222222222222222 (/ (exp (* 1/3 (- (log -1) (+ (log (/ -1 a)) (log (/ -1 b)))))) (* a t))))
417.0ms	(- (+ (exp (* 1/3 (- (log -1) (+ (log (/ 1 b)) (log (/ 1 a)))))) (* 0.2777777777777778 (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 b)) (log (/ 1 a)))))) a))) (* 0.2222222222222222 (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 b)) (log (/ 1 a)))))) (* a t))))
408.0ms	(- (+ (* 0.2777777777777778 (/ (exp (* 1/3 (- (log -1) (+ (log (/ -1 a)) (log (/ -1 b)))))) a)) (exp (* 1/3 (- (log -1) (+ (log (/ -1 a)) (log (/ -1 b))))))) (* 0.2222222222222222 (/ (exp (* 1/3 (- (log -1) (+ (log (/ -1 a)) (log (/ -1 b)))))) (* a t))))
404.0ms	(- (+ (* 0.2777777777777778 (/ (exp (* 1/3 (- (log -1) (+ (log (/ -1 a)) (log (/ -1 b)))))) a)) (exp (* 1/3 (- (log -1) (+ (log (/ -1 a)) (log (/ -1 b))))))) (* 0.2222222222222222 (/ (exp (* 1/3 (- (log -1) (+ (log (/ -1 a)) (log (/ -1 b)))))) (* a t))))

prune2.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize107.0ms

Local error

Found 4 expressions with local error:

46.7b	(posit16->real (real->posit16 (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))))
2.2b	(fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

6×	`cbrt-prod` `add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow1/3`
1×	`fma-udef` `remove-posit16`

Counts

4 → 50

Calls

4 calls:

Slowest

1.0ms	(cbrt t)
1.0ms	(cbrt t)
0.0ms	(posit16->real (real->posit16 (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))))
0.0ms	(fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))

series2.2s

Counts

4 → 12

Calls

4 calls:

Slowest

785.0ms	(posit16->real (real->posit16 (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))))
721.0ms	(fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))
358.0ms	(cbrt t)
307.0ms	(cbrt t)

simplify913.0ms

Counts

19 → 62

Calls

19 calls:

Slowest

167.0ms	(* (pow (* t -1) 1/3) (cbrt -1))
159.0ms	(* (pow (* t -1) 1/3) (cbrt -1))
135.0ms	(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))
116.0ms	(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))
114.0ms	(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))

prune2.5s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes872.0ms

Accuracy

0% (1.1b remaining)

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

bsearch38.0ms

end0.0ms

sample6.5s

Algorithm

intervals

Results

2.6s	7920×	body	80	nan
2.4s	8000×	body	80	valid