Details

sample53.0ms

Algorithm

intervals

Results

37.0ms

312×

body

valid

simplify454.0ms

Calls

1 calls:

Slowest

454.0ms

(* x (/ (* (/ y z) t) t))

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.6b

localize14.0ms

Local error

Found 1 expressions with local error:

3.6b	(* x (/ y z))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

1 calls:

Slowest

3.0ms

(* x (/ y z))

series71.0ms

Calls

1 calls:

Slowest

71.0ms

(* x (/ y z))

simplify78.0ms

Calls

7 calls:

Slowest

22.0ms	(/ (* x y) z)
15.0ms	(/ (* x y) z)
14.0ms	(/ (* x y) z)
8.0ms	(/ 1 z)
6.0ms	(cbrt (/ y z))

prune211.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

9.2b	(cbrt (/ y z))
9.2b	(cbrt (/ y z))
9.2b	(cbrt (/ y z))
0.9b	(* x (* (cbrt (/ y z)) (cbrt (/ y z))))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

7.0ms	(* x (* (cbrt (/ y z)) (cbrt (/ y z))))
1.0ms	(cbrt (/ y z))
1.0ms	(cbrt (/ y z))
1.0ms	(cbrt (/ y z))

series478.0ms

Calls

4 calls:

Slowest

160.0ms	(cbrt (/ y z))
120.0ms	(cbrt (/ y z))
109.0ms	(cbrt (/ y z))
89.0ms	(* x (* (cbrt (/ y z)) (cbrt (/ y z))))

simplify2.6s

Calls

31 calls:

Slowest

361.0ms	(* x (exp (* 1/3 (- (* 2 (log (/ 1 z))) (* 2 (log (/ 1 y)))))))
331.0ms	(* (exp (* 1/3 (- (* 2 (log y)) (* 2 (log z))))) x)
288.0ms	(exp (* 1/3 (- (log (/ 1 z)) (log (/ 1 y)))))
259.0ms	(exp (* 1/3 (- (log (/ -1 z)) (log (/ -1 y)))))
246.0ms	(exp (* 1/3 (- (log (/ 1 z)) (log (/ 1 y)))))

prune891.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

9.2b	(cbrt (/ y z))
9.2b	(cbrt (/ y z))
0.9b	(* x (* (cbrt (/ y z)) (cbrt (/ y z))))
0.6b	(cbrt (/ 1 z))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

6.0ms	(* x (* (cbrt (/ y z)) (cbrt (/ y z))))
1.0ms	(cbrt (/ y z))
1.0ms	(cbrt (/ 1 z))
1.0ms	(cbrt (/ y z))

series688.0ms

Calls

4 calls:

Slowest

305.0ms	(cbrt (/ 1 z))
136.0ms	(* x (* (cbrt (/ y z)) (cbrt (/ y z))))
126.0ms	(cbrt (/ y z))
120.0ms	(cbrt (/ y z))

simplify2.1s

Calls

31 calls:

Slowest

359.0ms	(* (exp (* 1/3 (- (* 2 (log y)) (* 2 (log z))))) x)
309.0ms	(* x (exp (* 1/3 (- (* 2 (log (/ 1 z))) (* 2 (log (/ 1 y)))))))
291.0ms	(exp (* 1/3 (- (log (/ -1 z)) (log (/ -1 y)))))
230.0ms	(exp (* 1/3 (- (log (/ -1 z)) (log (/ -1 y)))))
229.0ms	(exp (* 1/3 (- (log (/ 1 z)) (log (/ 1 y)))))

prune1.0s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

9.2b	(cbrt (/ y z))
9.2b	(cbrt (/ y z))
0.9b	(* x (* (cbrt (/ y z)) (cbrt (/ y z))))
0.6b	(cbrt y)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

6.0ms	(* x (* (cbrt (/ y z)) (cbrt (/ y z))))
1.0ms	(cbrt (/ y z))
1.0ms	(cbrt (/ y z))
0.0ms	(cbrt y)

series674.0ms

Calls

4 calls:

Slowest

315.0ms	(cbrt y)
153.0ms	(* x (* (cbrt (/ y z)) (cbrt (/ y z))))
105.0ms	(cbrt (/ y z))
101.0ms	(cbrt (/ y z))

simplify2.2s

Calls

26 calls:

Slowest

375.0ms	(* x (exp (* 1/3 (- (* 2 (log (/ 1 z))) (* 2 (log (/ 1 y)))))))
339.0ms	(* (exp (* 1/3 (- (* 2 (log y)) (* 2 (log z))))) x)
265.0ms	(exp (* 1/3 (- (log (/ 1 z)) (log (/ 1 y)))))
262.0ms	(exp (* 1/3 (- (log (/ -1 z)) (log (/ -1 y)))))
255.0ms	(exp (* 1/3 (- (log (/ 1 z)) (log (/ 1 y)))))

prune926.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

regimes404.0ms

Accuracy

43.6% (3.4b remaining)

Error of 3.5b against oracle of 0.0b and baseline of 6.1b

bsearch9.0ms

end0.0ms

sample1.8s

Algorithm

intervals

Results

1.5s

9610×

body

valid