Details

sample192.0ms

Algorithm

intervals

Results

98.0ms	107×	body	1280	valid
43.0ms	77×	body	640	valid
19.0ms	228×	body	80	nan
13.0ms	38×	body	320	valid
5.0ms	23×	body	160	valid
1.0ms	11×	body	80	valid

simplify29.0ms

Calls

1 calls:

Slowest

29.0ms

(log (/ (- 1 eps) (+ 1 eps)))

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.7b

localize31.0ms

Local error

Found 2 expressions with local error:

6.5b	(log (/ (- 1 eps) (+ 1 eps)))
0.0b	(/ (- 1 eps) (+ 1 eps))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

18×	`times-frac`
17×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
15×	`log-prod`
7×	`add-exp-log`
4×	`add-cbrt-cube` `associate-/r/`
3×	`pow1` `associate-/r` `associate-/l`
2×	`expm1-log1p-u` `flip3-+` `div-exp` `rem-log-exp` `flip-+` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp` `associate-/l/`
1×	`cbrt-undiv` `log-div` `clear-num` `frac-2neg` `flip3--` `div-sub` `log-pow` `flip--`

Calls

2 calls:

Slowest

3.0ms	(/ (- 1 eps) (+ 1 eps))
2.0ms	(log (/ (- 1 eps) (+ 1 eps)))

series90.0ms

Calls

2 calls:

Slowest

80.0ms	(log (/ (- 1 eps) (+ 1 eps)))
10.0ms	(/ (- 1 eps) (+ 1 eps))

simplify2.9s

Calls

54 calls:

Slowest

428.0ms	(- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps))))
383.0ms	(/ (* (* (- 1 eps) (- 1 eps)) (- 1 eps)) (* (* (+ 1 eps) (+ 1 eps)) (+ 1 eps)))
224.0ms	(- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3)))))
205.0ms	(- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3)))))
140.0ms	(- (* 2 (/ 1 eps)) (+ (* 2 (/ 1 (pow eps 2))) 1))

prune546.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (fma -2/3 (* eps eps) -2) eps)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

3×	`associate-l`
2×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
1×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `*-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

1 calls:

Slowest

6.0ms

(* (fma -2/3 (* eps eps) -2) eps)

series46.0ms

Calls

1 calls:

Slowest

46.0ms

(* (fma -2/3 (* eps eps) -2) eps)

simplify456.0ms

Calls

5 calls:

Slowest

148.0ms	(- (+ (* 2/3 (pow eps 3)) (* 2 eps)))
145.0ms	(- (+ (* 2/3 (pow eps 3)) (* 2 eps)))
111.0ms	(- (+ (* 2/3 (pow eps 3)) (* 2 eps)))
26.0ms	(sqrt (fma -2/3 (* eps eps) -2))
24.0ms	(* (cbrt (fma -2/3 (* eps eps) -2)) (cbrt (fma -2/3 (* eps eps) -2)))

prune173.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

37.4b	(cbrt (* (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps)) (* (fma -2/3 (* eps eps) -2) eps)))
0.1b	(* (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps)) (* (fma -2/3 (* eps eps) -2) eps))
0.0b	(* (fma -2/3 (* eps eps) -2) eps)
0.0b	(* (fma -2/3 (* eps eps) -2) eps)

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1`
9×	`add-cbrt-cube` `add-exp-log`
7×	`associate-l`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`pow-plus` `pow-prod-up`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod`
2×	`pow2` `pow3`
1×	`cbrt-prod` `pow1/3` `associate-r` `rem-cbrt-cube`

Calls

4 calls:

Slowest

52.0ms	(* (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps)) (* (fma -2/3 (* eps eps) -2) eps))
33.0ms	(cbrt (* (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps)) (* (fma -2/3 (* eps eps) -2) eps)))
4.0ms	(* (fma -2/3 (* eps eps) -2) eps)
3.0ms	(* (fma -2/3 (* eps eps) -2) eps)

series218.0ms

Calls

4 calls:

Slowest

97.0ms	(cbrt (* (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps)) (* (fma -2/3 (* eps eps) -2) eps)))
58.0ms	(* (fma -2/3 (* eps eps) -2) eps)
35.0ms	(* (fma -2/3 (* eps eps) -2) eps)
28.0ms	(* (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps)) (* (fma -2/3 (* eps eps) -2) eps))

simplify4.5s

Calls

35 calls:

Slowest

600.0ms	(* (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps)) (* (fma -2/3 (* eps eps) -2) eps))
565.0ms	(* (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps)) (* (fma -2/3 (* eps eps) -2) eps))
339.0ms	(* (* (* (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps)) (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps))) (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps))) (* (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps)) (* (fma -2/3 (* eps eps) -2) eps)))
254.0ms	(- (+ (* 8/3 (pow eps 7)) (+ (* 8 (pow eps 3)) (* 8 (pow eps 5)))))
244.0ms	(+ (log (* (* (fma -2/3 (* eps eps) -2) eps) (* (fma -2/3 (* eps eps) -2) eps))) (log (* (fma -2/3 (* eps eps) -2) eps)))

prune749.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

6.6b	(log (+ (* 1 1) (- (* eps eps) (* 1 eps))))
6.6b	(log (/ (- 1 eps) (fma (* eps eps) eps 1)))
0.0b	(/ (- 1 eps) (fma (* eps eps) eps 1))
0.0b	(+ (log (/ (- 1 eps) (fma (* eps eps) eps 1))) (log (+ (* 1 1) (- (* eps eps) (* 1 eps)))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

35×	`*-un-lft-identity`
34×	`log-prod`
29×	`add-sqr-sqrt` `add-cube-cbrt`
27×	`times-frac`
13×	`associate-+l+`
11×	`pow1`
10×	`add-exp-log`
7×	`log-pow`
6×	`log-div` `add-cbrt-cube` `distribute-lft-out`
4×	`expm1-log1p-u` `associate-+r+` `fma-def` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `flip3-+` `rem-log-exp` `flip-+` `div-inv` `associate-/l`
2×	`associate-+r-` `div-exp` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `clear-num` `sum-log` `frac-2neg` `flip3--` `div-sub` `associate-+l-` `flip--`

Calls

4 calls:

Slowest

14.0ms	(+ (log (/ (- 1 eps) (fma (* eps eps) eps 1))) (log (+ (* 1 1) (- (* eps eps) (* 1 eps)))))
5.0ms	(log (+ (* 1 1) (- (* eps eps) (* 1 eps))))
3.0ms	(/ (- 1 eps) (fma (* eps eps) eps 1))
2.0ms	(log (/ (- 1 eps) (fma (* eps eps) eps 1)))

series208.0ms

Calls

4 calls:

Slowest

124.0ms	(+ (log (/ (- 1 eps) (fma (* eps eps) eps 1))) (log (+ (* 1 1) (- (* eps eps) (* 1 eps)))))
36.0ms	(log (/ (- 1 eps) (fma (* eps eps) eps 1)))
27.0ms	(log (+ (* 1 1) (- (* eps eps) (* 1 eps))))
20.0ms	(/ (- 1 eps) (fma (* eps eps) eps 1))

simplify7.1s

Calls

90 calls:

Slowest

352.0ms	(/ (* (* (- 1 eps) (- 1 eps)) (- 1 eps)) (* (* (fma (* eps eps) eps 1) (fma (* eps eps) eps 1)) (fma (* eps eps) eps 1)))
352.0ms	(* (/ (- 1 eps) (fma (* eps eps) eps 1)) (+ (* 1 1) (- (* eps eps) (* 1 eps))))
337.0ms	(- (+ (* 1/2 (pow eps 2)) (+ (* 4/3 (pow eps 3)) eps)))
301.0ms	(- (+ (* 2 (log (/ 1 eps))) (log -1)) (+ (/ 1 eps) (* 1/2 (/ 1 (pow eps 2)))))
292.0ms	(- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps))))

prune860.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes41.0ms

Accuracy

0% (0.2b remaining)

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

bsearch1.0ms

end0.0ms

sample5.7s

Algorithm

intervals

Results

2.7s	3414×	body	1280	valid
1.2s	2476×	body	640	valid
1.0s	7955×	body	80	nan
376.0ms	1252×	body	320	valid
112.0ms	650×	body	160	valid
42.0ms	208×	body	80	valid