Details

sample59.0ms

Algorithm

intervals

Results

41.0ms

263×

body

valid

simplify277.0ms

Calls

1 calls:

Slowest

277.0ms

(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.3b

localize50.0ms

Local error

Found 4 expressions with local error:

27.2b	(/ (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t) (fma (fma y (fma (+ y a) y b) c) y i))
0.0b	(fma (fma y (fma (+ y a) y b) c) y i)
0.0b	(fma y (fma y x z) 27464.7644705)
0.0b	(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac`
6×	`add-cbrt-cube` `add-exp-log`
4×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `fma-udef` `associate-/l`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `div-inv`

Calls

4 calls:

Slowest

7.0ms	(/ (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t) (fma (fma y (fma (+ y a) y b) c) y i))
0.0ms	(fma (fma y (fma (+ y a) y b) c) y i)
0.0ms	(fma y (fma y x z) 27464.7644705)
0.0ms	(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)

series408.0ms

Calls

4 calls:

Slowest

245.0ms	(/ (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t) (fma (fma y (fma (+ y a) y b) c) y i))
71.0ms	(fma (fma y (fma (+ y a) y b) c) y i)
65.0ms	(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)
26.0ms	(fma y (fma y x z) 27464.7644705)

simplify4.8s

Calls

37 calls:

Slowest

278.0ms	(/ (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))) 1)
253.0ms	(sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
251.0ms	(/ (sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) 1)
251.0ms	(* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
196.0ms	(/ (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))) (sqrt (fma (fma y (fma (+ y a) y b) c) y i)))

prune1.7s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 26.6b

localize8.0ms

Local error

Found 4 expressions with local error:

27.3b	(/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
0.6b	(/ 1 (/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
0.0b	(fma (fma y (fma (+ y a) y b) c) y i)
0.0b	(fma y (fma y x z) 27464.7644705)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`times-frac`
16×	`associate-/r*`
9×	`add-exp-log`
6×	`add-cbrt-cube`
5×	`pow1`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`div-inv` `associate-/l*`
2×	`rec-exp` `clear-num` `frac-2neg` `div-exp` `fma-udef`
1×	`cbrt-undiv` `associate-/r/` `pow-flip` `inv-pow`

Calls

4 calls:

Slowest

4.0ms	(/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
2.0ms	(/ 1 (/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
0.0ms	(fma y (fma y x z) 27464.7644705)
0.0ms	(fma (fma y (fma (+ y a) y b) c) y i)

series951.0ms

Calls

4 calls:

Slowest

467.0ms	(/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
391.0ms	(/ 1 (/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
70.0ms	(fma (fma y (fma (+ y a) y b) c) y i)
23.0ms	(fma y (fma y x z) 27464.7644705)

simplify7.1s

Calls

52 calls:

Slowest

286.0ms	(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
279.0ms	(/ 1 (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))))
264.0ms	(/ 1 (sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
247.0ms	(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
235.0ms	(sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))

prune2.5s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 26.6b

localize17.0ms

Local error

Found 4 expressions with local error:

27.0b	(/ (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
0.3b	(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
0.0b	(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
0.0b	(fma (fma y (fma (+ y a) y b) c) y i)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt` `*-un-lft-identity` `times-frac` `add-cube-cbrt`
14×	`add-exp-log`
13×	`div-inv`
10×	`associate-/r*`
6×	`pow1` `rec-exp` `add-cbrt-cube`
4×	`expm1-log1p-u` `div-exp` `insert-posit16` `log1p-expm1-u` `associate-/l*` `add-log-exp`
3×	`clear-num` `frac-2neg`
2×	`pow-flip` `inv-pow`
1×	`cbrt-undiv` `associate-/r/` `fma-udef` `associate-/l/`

Calls

4 calls:

Slowest

6.0ms	(/ (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
1.0ms	(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
1.0ms	(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
0.0ms	(fma (fma y (fma (+ y a) y b) c) y i)

series621.0ms

Calls

4 calls:

Slowest

422.0ms	(/ (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
78.0ms	(fma (fma y (fma (+ y a) y b) c) y i)
68.0ms	(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
53.0ms	(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))

simplify11.0s

Calls

64 calls:

Slowest

389.0ms	(* (cbrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i))) (cbrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i))))
363.0ms	(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
342.0ms	(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
341.0ms	(/ 1 (sqrt (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))))
340.0ms	(/ 1 (sqrt (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))))

prune2.5s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 26.6b

localize27.0ms

Local error

Found 4 expressions with local error:

27.2b	(/ (fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t) (fma y (fma (fma y (+ y a) b) y c) i))
0.0b	(fma y (fma (fma y (+ y a) b) y c) i)
0.0b	(fma y (fma y x z) 27464.7644705)
0.0b	(fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac`
6×	`add-cbrt-cube` `add-exp-log`
4×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `fma-udef` `associate-/l`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `div-inv`

Calls

4 calls:

Slowest

5.0ms	(/ (fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t) (fma y (fma (fma y (+ y a) b) y c) i))
0.0ms	(fma y (fma (fma y (+ y a) b) y c) i)
0.0ms	(fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t)
0.0ms	(fma y (fma y x z) 27464.7644705)

series419.0ms

Calls

4 calls:

Slowest

248.0ms	(/ (fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t) (fma y (fma (fma y (+ y a) b) y c) i))
73.0ms	(fma y (fma (fma y (+ y a) b) y c) i)
65.0ms	(fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t)
33.0ms	(fma y (fma y x z) 27464.7644705)

simplify4.7s

Calls

37 calls:

Slowest

246.0ms	(/ (* (* (fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t) (fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t)) (fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t)) (* (* (fma y (fma (fma y (+ y a) b) y c) i) (fma y (fma (fma y (+ y a) b) y c) i)) (fma y (fma (fma y (+ y a) b) y c) i)))
231.0ms	(/ 1 (* (cbrt (fma y (fma (fma y (+ y a) b) y c) i)) (cbrt (fma y (fma (fma y (+ y a) b) y c) i))))
211.0ms	(* (cbrt (fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t)) (cbrt (fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t)))
198.0ms	(/ 1 (sqrt (fma y (fma (fma y (+ y a) b) y c) i)))
197.0ms	(/ (fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t) (fma y (fma (fma y (+ y a) b) y c) i))

prune1.5s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 26.6b

regimes1.6s

Accuracy

0% (0.8b remaining)

Error of 29.1b against oracle of 28.3b and baseline of 29.1b

bsearch11.0ms

end0.0ms

sample2.7s

Algorithm

intervals

Results

2.3s

8238×

body

valid