Details

sample37.0ms

Algorithm

intervals

Results

25.0ms

329×

body

valid

simplify39.0ms

Calls

1 calls:

Slowest

39.0ms

(/ (* a1 a2) (* b1 b2))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.7b

localize9.0ms

Local error

Found 1 expressions with local error:

10.7b

(/ (* a1 a2) (* b1 b2))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

1 calls:

Slowest

3.0ms

(/ (* a1 a2) (* b1 b2))

series46.0ms

Calls

1 calls:

Slowest

46.0ms

(/ (* a1 a2) (* b1 b2))

simplify610.0ms

Calls

7 calls:

Slowest

377.0ms	(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
104.0ms	(- (log (* a1 a2)) (log (* b1 b2)))
59.0ms	(/ (* a1 a2) (* b2 b1))
34.0ms	(/ (* a1 a2) (* b2 b1))
30.0ms	(/ (* a1 a2) (* b2 b1))

prune256.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

6.3b	(/ (/ (* a1 a2) b1) b2)
5.2b	(/ (* a1 a2) b1)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

2 calls:

Slowest

7.0ms	(/ (/ (* a1 a2) b1) b2)
3.0ms	(/ (* a1 a2) b1)

series73.0ms

Calls

2 calls:

Slowest

37.0ms	(/ (* a1 a2) b1)
35.0ms	(/ (/ (* a1 a2) b1) b2)

simplify257.0ms

Calls

10 calls:

Slowest

59.0ms	(/ (* a1 a2) (* b2 b1))
47.0ms	(/ (* a1 a2) (* b2 b1))
46.0ms	(* (cbrt (/ (* a1 a2) b1)) (cbrt (/ (* a1 a2) b1)))
40.0ms	(/ (* a1 a2) (* b2 b1))
18.0ms	(/ (* a1 a2) b1)

prune344.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

6.3b	(/ (/ a1 (/ b1 a2)) b2)
3.3b	(/ a1 (/ b1 a2))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

2 calls:

Slowest

3.0ms	(/ (/ a1 (/ b1 a2)) b2)
0.0ms	(/ a1 (/ b1 a2))

series74.0ms

Calls

2 calls:

Slowest

40.0ms	(/ (/ a1 (/ b1 a2)) b2)
34.0ms	(/ a1 (/ b1 a2))

simplify171.0ms

Calls

13 calls:

Slowest

34.0ms	(/ (* a1 a2) (* b2 b1))
32.0ms	(/ (* a1 a2) (* b2 b1))
30.0ms	(/ (* a1 a2) (* b2 b1))
15.0ms	(* (cbrt (/ a1 (/ b1 a2))) (cbrt (/ a1 (/ b1 a2))))
12.0ms	(sqrt (/ a1 (/ b1 a2)))

prune413.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 2 expressions with local error:

4.7b	(* b2 (/ b1 a2))
4.3b	(/ a1 (* b2 (/ b1 a2)))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

2 calls:

Slowest

3.0ms	(* b2 (/ b1 a2))
1.0ms	(/ a1 (* b2 (/ b1 a2)))

series93.0ms

Calls

2 calls:

Slowest

52.0ms	(/ a1 (* b2 (/ b1 a2)))
41.0ms	(* b2 (/ b1 a2))

simplify195.0ms

Calls

11 calls:

Slowest

46.0ms	(/ (* a1 a2) (* b2 b1))
37.0ms	(/ (* a1 a2) (* b2 b1))
32.0ms	(/ (* a1 a2) (* b2 b1))
24.0ms	(/ (* b2 b1) a2)
22.0ms	(/ (* b2 b1) a2)

prune341.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes592.0ms

Accuracy

53.2% (5.2b remaining)

Error of 5.2b against oracle of 0.0b and baseline of 11.1b

bsearch6.0ms

end0.0ms

sample1.2s

Algorithm

intervals

Results

899.0ms

10010×

body

valid