Details

sample37.0ms

Algorithm

intervals

Results

24.0ms

313×

body

valid

simplify68.0ms

Calls

1 calls:

Slowest

68.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.8b

localize19.0ms

Local error

Found 1 expressions with local error:

11.8b

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

rewrite6.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

6.0ms

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

series46.0ms

Calls

1 calls:

Slowest

46.0ms

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

simplify623.0ms

Calls

7 calls:

Slowest

373.0ms	(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
117.0ms	(- (log (* a1 a2)) (log (* b1 b2)))
46.0ms	(/ (* a1 a2) (* b2 b1))
42.0ms	(/ (* a1 a2) (* b2 b1))
34.0ms	(/ (* a1 a2) (* b2 b1))

prune203.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

7.0b	(/ a1 (/ (* b1 b2) a2))
4.4b	(/ (* b1 b2) a2)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

4×	`associate-/r*`
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-/r/` `associate-/l*`

Calls

2 calls:

Slowest

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

series73.0ms

Calls

2 calls:

Slowest

42.0ms	(/ a1 (/ (* b1 b2) a2))
30.0ms	(/ (* b1 b2) a2)

simplify267.0ms

Calls

10 calls:

Slowest

63.0ms	(/ (* a1 a2) (* b2 b1))
51.0ms	(/ (* a1 a2) (* b2 b1))
47.0ms	(/ (* a1 a2) (* b2 b1))
22.0ms	(cbrt (/ (* b1 b2) a2))
21.0ms	(/ (* b1 b2) a2)

prune376.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 3 expressions with local error:

7.2b	(* a1 (/ 1 (/ (* b1 b2) a2)))
4.4b	(/ (* b1 b2) a2)
0.5b	(/ 1 (/ (* b1 b2) a2))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

3 calls:

Slowest

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

series101.0ms

Calls

3 calls:

Slowest

51.0ms	(* a1 (/ 1 (/ (* b1 b2) a2)))
29.0ms	(/ 1 (/ (* b1 b2) a2))
21.0ms	(/ (* b1 b2) a2)

simplify734.0ms

Calls

20 calls:

Slowest

107.0ms	(/ 1 (/ (* b1 b2) a2))
91.0ms	(cbrt (/ 1 (/ (* b1 b2) a2)))
87.0ms	(/ 1 (/ (* b1 b2) a2))
80.0ms	(sqrt (/ 1 (/ (* b1 b2) a2)))
54.0ms	(/ (* a1 a2) (* b2 b1))

prune667.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

7.2b	(* a1 (/ (/ 1 (* b1 b2)) (/ 1 a2)))
4.4b	(/ (/ 1 (* b1 b2)) (/ 1 a2))
0.4b	(/ 1 (* b1 b2))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

32×	`times-frac`
22×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
21×	`associate-r` `div-inv`
8×	`add-exp-log`
5×	`associate-/r*` `add-cbrt-cube`
4×	`pow1` `associate-/l*`
3×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`rec-exp` `clear-num` `frac-2neg` `div-exp` `associate-/r/`
1×	`cbrt-undiv` `associate-r/` `-commutative` `pow-flip` `inv-pow` `associate-/l/`

Calls

3 calls:

Slowest

9.0ms	(/ (/ 1 (* b1 b2)) (/ 1 a2))
4.0ms	(* a1 (/ (/ 1 (* b1 b2)) (/ 1 a2)))
1.0ms	(/ 1 (* b1 b2))

series99.0ms

Calls

3 calls:

Slowest

41.0ms	(* a1 (/ (/ 1 (* b1 b2)) (/ 1 a2)))
36.0ms	(/ (/ 1 (* b1 b2)) (/ 1 a2))
22.0ms	(/ 1 (* b1 b2))

simplify3.6s

Calls

72 calls:

Slowest

180.0ms	(cbrt (/ (/ 1 (* b1 b2)) (/ 1 a2)))
170.0ms	(- (log (/ 1 (* b1 b2))) (log (/ 1 a2)))
159.0ms	(sqrt (/ (/ 1 (* b1 b2)) (/ 1 a2)))
150.0ms	(/ (* (* (/ 1 (* b1 b2)) (/ 1 (* b1 b2))) (/ 1 (* b1 b2))) (* (* (/ 1 a2) (/ 1 a2)) (/ 1 a2)))
148.0ms	(/ (/ 1 (* b1 b2)) (/ 1 a2))

prune834.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes854.0ms

Accuracy

69.5% (3.4b remaining)

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

bsearch12.0ms

end0.0ms

sample1.1s

Algorithm

intervals

Results

833.0ms

10036×

body

valid