Details

sample32.0ms

Algorithm

intervals

Results

21.0ms

256×

body

valid

simplify23.0ms

Calls

1 calls:

Slowest

23.0ms

(cbrt (/ g (* 2 a)))

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.4b

localize15.0ms

Local error

Found 1 expressions with local error:

19.4b

(cbrt (/ g (* 2 a)))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

1 calls:

Slowest

1.0ms

(cbrt (/ g (* 2 a)))

series124.0ms

Calls

1 calls:

Slowest

124.0ms

(cbrt (/ g (* 2 a)))

simplify685.0ms

Calls

8 calls:

Slowest

266.0ms	(* (cbrt 1/2) (exp (* 1/3 (- (log (/ -1 a)) (log (/ -1 g))))))
260.0ms	(* (cbrt 1/2) (exp (* 1/3 (- (log (/ 1 a)) (log (/ 1 g))))))
111.0ms	(* (cbrt 1/2) (exp (* 1/3 (- (log g) (log a)))))
26.0ms	(cbrt (* (cbrt (/ g (* 2 a))) (cbrt (/ g (* 2 a)))))
16.0ms	(cbrt (sqrt (/ g (* 2 a))))

prune150.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.2b

localize19.0ms

Local error

Found 3 expressions with local error:

0.6b	(cbrt (/ 1 (* 2 a)))
0.5b	(cbrt g)
0.3b	(* (cbrt g) (cbrt (/ 1 (* 2 a))))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

8×	`cbrt-prod`
7×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*` `add-cube-cbrt`
5×	`pow1` `add-exp-log`
4×	`pow1/3`
3×	`expm1-log1p-u` `add-cbrt-cube` `associate-l` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`cbrt-div` `pow-prod-down` `div-inv`
1×	`prod-exp` `associate-r/` `-commutative` `cbrt-unprod`

Calls

3 calls:

Slowest

10.0ms	(* (cbrt g) (cbrt (/ 1 (* 2 a))))
2.0ms	(cbrt (/ 1 (* 2 a)))
0.0ms	(cbrt g)

series704.0ms

Calls

3 calls:

Slowest

313.0ms	(cbrt (/ 1 (* 2 a)))
230.0ms	(cbrt g)
161.0ms	(* (cbrt g) (cbrt (/ 1 (* 2 a))))

simplify1.1s

Calls

28 calls:

Slowest

283.0ms	(* (exp (* 1/3 (- (log (/ -1 a)) (log (/ -1 g))))) (* (cbrt -1) (cbrt -1/2)))
221.0ms	(* (cbrt 1/2) (exp (* 1/3 (- (log (/ 1 a)) (log (/ 1 g))))))
89.0ms	(* (cbrt 1/2) (exp (* 1/3 (- (log g) (log a)))))
67.0ms	(* g (/ 1 (* 2 a)))
63.0ms	(* g (/ 1 (* 2 a)))

prune586.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (/ 1 a))
0.5b	(cbrt g)
0.5b	(* (cbrt (/ 1 a)) (cbrt 1/2))
0.3b	(* (cbrt g) (* (cbrt (/ 1 a)) (cbrt 1/2)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1` `add-exp-log`
10×	`associate-l`
9×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
8×	`cbrt-prod`
7×	`pow1/3` `pow-prod-down`
5×	`add-cbrt-cube`
4×	`expm1-log1p-u` `associate-r` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-div`
2×	`associate-l/` `-commutative` `div-inv`
1×	`associate-*r/`

Calls

4 calls:

Slowest

22.0ms	(* (cbrt g) (* (cbrt (/ 1 a)) (cbrt 1/2)))
9.0ms	(* (cbrt (/ 1 a)) (cbrt 1/2))
1.0ms	(cbrt (/ 1 a))
0.0ms	(cbrt g)

series1.0s

Calls

4 calls:

Slowest

322.0ms	(* (cbrt (/ 1 a)) (cbrt 1/2))
291.0ms	(cbrt g)
290.0ms	(cbrt (/ 1 a))
130.0ms	(* (cbrt g) (* (cbrt (/ 1 a)) (cbrt 1/2)))

simplify1.7s

Calls

42 calls:

Slowest

363.0ms	(* (cbrt 1/2) (* (exp (* 1/3 (- (log (/ -1 a)) (log (/ -1 g))))) (pow (cbrt -1) 2)))
340.0ms	(* g (* (* (* (cbrt (/ 1 a)) (cbrt 1/2)) (* (cbrt (/ 1 a)) (cbrt 1/2))) (* (cbrt (/ 1 a)) (cbrt 1/2))))
255.0ms	(* (cbrt 1/2) (exp (* 1/3 (- (log (/ 1 a)) (log (/ 1 g))))))
104.0ms	(* (cbrt 1/2) (exp (* 1/3 (- (log g) (log a)))))
86.0ms	(* g (* (/ 1 a) 1/2))

prune866.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 3 expressions with local error:

0.6b	(cbrt (* 2 a))
0.5b	(cbrt g)
0.3b	(/ (cbrt g) (cbrt (* 2 a)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

3 calls:

Slowest

8.0ms	(/ (cbrt g) (cbrt (* 2 a)))
1.0ms	(cbrt (* 2 a))
0.0ms	(cbrt g)

series668.0ms

Calls

3 calls:

Slowest

289.0ms	(cbrt (* 2 a))
234.0ms	(cbrt g)
144.0ms	(/ (cbrt g) (cbrt (* 2 a)))

simplify1.2s

Calls

42 calls:

Slowest

296.0ms	(/ (* (exp (* 1/3 (- (log (/ -1 a)) (log (/ -1 g))))) (cbrt -1)) (cbrt -2))
248.0ms	(/ (exp (* 1/3 (- (log (/ 1 a)) (log (/ 1 g))))) (cbrt 2))
111.0ms	(/ (exp (* 1/3 (- (log g) (log a)))) (cbrt 2))
73.0ms	(/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) (* (cbrt (cbrt (* 2 a))) (cbrt (cbrt (* 2 a)))))
34.0ms	(/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt 2))

prune526.0ms

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 0.0b

regimes420.0ms

Accuracy

0% (0.8b remaining)

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

bsearch2.0ms

end0.0ms

sample707.0ms

Algorithm

intervals

Results

536.0ms

8000×

body

valid