Details

sample46.0ms

Algorithm

intervals

Results

30.0ms

313×

body

valid

simplify56.0ms

Calls

1 calls:

Slowest

56.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.8b

localize9.0ms

Local error

Found 1 expressions with local error:

11.8b

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

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

1 calls:

Slowest

3.0ms

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

series30.0ms

Calls

1 calls:

Slowest

30.0ms

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

simplify599.0ms

Calls

7 calls:

Slowest

403.0ms	(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
67.0ms	(- (log (* a1 a2)) (log (* b1 b2)))
60.0ms	(/ (* a1 a2) (* b2 b1))
31.0ms	(/ (* a1 a2) (* b2 b1))
30.0ms	(/ (* a1 a2) (* b2 b1))

prune180.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

2 calls:

Slowest

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

series69.0ms

Calls

2 calls:

Slowest

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

simplify267.0ms

Calls

10 calls:

Slowest

42.0ms	(/ (* a1 a2) (* b2 b1))
39.0ms	(/ (* a1 a2) (* b2 b1))
34.0ms	(cbrt (/ (* b1 b2) a2))
32.0ms	(sqrt (/ (* b1 b2) a2))
30.0ms	(/ (* a1 a2) (* b2 b1))

prune284.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize6.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×	`add-cbrt-cube` `insert-posit16` `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))

series88.0ms

Calls

3 calls:

Slowest

38.0ms	(* a1 (/ 1 (/ (* b1 b2) a2)))
29.0ms	(/ 1 (/ (* b1 b2) a2))
20.0ms	(/ (* b1 b2) a2)

simplify656.0ms

Calls

20 calls:

Slowest

96.0ms	(/ 1 (/ (* b1 b2) a2))
91.0ms	(/ 1 (/ (* b1 b2) a2))
78.0ms	(sqrt (/ 1 (/ (* b1 b2) a2)))
74.0ms	(cbrt (/ 1 (/ (* b1 b2) a2)))
58.0ms	(/ (* a1 a2) (* b2 b1))

prune555.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize20.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))

rewrite17.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×	`insert-posit16` `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)))
2.0ms	(/ 1 (* b1 b2))

series109.0ms

Calls

3 calls:

Slowest

55.0ms	(* a1 (/ (/ 1 (* b1 b2)) (/ 1 a2)))
35.0ms	(/ (/ 1 (* b1 b2)) (/ 1 a2))
19.0ms	(/ 1 (* b1 b2))

simplify4.0s

Calls

72 calls:

Slowest

239.0ms	(/ (* (* (/ 1 (* b1 b2)) (/ 1 (* b1 b2))) (/ 1 (* b1 b2))) (* (* (/ 1 a2) (/ 1 a2)) (/ 1 a2)))
199.0ms	(/ (/ 1 (* b1 b2)) (/ 1 a2))
185.0ms	(/ (/ 1 (* b1 b2)) (/ 1 a2))
184.0ms	(sqrt (/ (/ 1 (* b1 b2)) (/ 1 a2)))
183.0ms	(- (log (/ 1 (* b1 b2))) (log (/ 1 a2)))

prune858.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes850.0ms

Accuracy

69.5% (3.4b remaining)

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

bsearch8.0ms

end0.0ms

sample1.0s

Algorithm

intervals

Results

727.0ms

10036×

body

valid