Details

sample50.0ms

Algorithm

intervals

Results

31.0ms

318×

body

valid

simplify63.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

63.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.3b

localize28.0ms

Local error

Found 1 expressions with local error:

10.3b

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 24

Calls

1 calls:

Slowest

24.0ms

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

series52.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

52.0ms

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

simplify3.4s

Counts

13 → 27

Calls

13 calls:

Slowest

775.0ms	(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
743.0ms	(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
736.0ms	(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
551.0ms	(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
134.0ms	(- (+ (log a1) (log a2)) (log (* b1 b2)))

prune327.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

6.0b	(/ (/ (* a1 a2) b1) b2)
4.9b	(/ (* a1 a2) b1)

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
20×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
16×	`add-cbrt-cube` `add-exp-log`
8×	`associate-/l*`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/r*` `div-inv`
2×	`expm1-log1p-u` `pow1` `clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`associate-/l/`

Counts

2 → 75

Calls

2 calls:

Slowest

21.0ms	(/ (/ (* a1 a2) b1) b2)
18.0ms	(/ (* a1 a2) b1)

series97.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

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

simplify4.0s

Counts

75 → 81

Calls

75 calls:

Slowest

402.0ms	(/ (/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* b1 b1) b1)) (* (* b2 b2) b2))
335.0ms	(/ (/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* b1 b1) b1)) (* (* b2 b2) b2))
260.0ms	(- (- (+ (log a1) (log a2)) (log b1)) (log b2))
211.0ms	(- (log (/ (* a1 a2) b1)) (log b2))
206.0ms	(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* b1 b1) b1))

prune794.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 2 expressions with local error:

6.0b	(/ (/ a1 (/ b1 a2)) b2)
5.1b	(/ a1 (/ b1 a2))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 272

Calls

2 calls:

Slowest

15.0ms	(/ (/ a1 (/ b1 a2)) b2)
6.0ms	(/ a1 (/ b1 a2))

series87.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

48.0ms	(/ (/ a1 (/ b1 a2)) b2)
38.0ms	(/ a1 (/ b1 a2))

simplify35.6s

Counts

417 → 278

Calls

417 calls:

Slowest

523.0ms	(/ (/ (sqrt a1) (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) 1)
523.0ms	(/ (/ (* (cbrt a1) (cbrt a1)) (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (* (cbrt b2) (cbrt b2)))
488.0ms	(/ (/ (sqrt a1) (/ 1 (sqrt a2))) (* (cbrt b2) (cbrt b2)))
455.0ms	(/ (* (cbrt a1) (cbrt a1)) (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))
436.0ms	(/ (* (cbrt a1) (cbrt a1)) (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))

prune3.0s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 2 expressions with local error:

6.0b	(/ (* (/ a1 b1) a2) b2)
3.9b	(* (/ a1 b1) a2)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 62

Calls

2 calls:

Slowest

17.0ms	(* (/ a1 b1) a2)
13.0ms	(/ (* (/ a1 b1) a2) b2)

series89.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

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

simplify2.6s

Counts

45 → 68

Calls

45 calls:

Slowest

338.0ms	(/ (* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (* (* a2 a2) a2)) (* (* b2 b2) b2))
328.0ms	(- (+ (- (log a1) (log b1)) (log a2)) (log b2))
287.0ms	(/ (* (* (* (/ a1 b1) a2) (* (/ a1 b1) a2)) (* (/ a1 b1) a2)) (* (* b2 b2) b2))
247.0ms	(* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (* (* a2 a2) a2))
223.0ms	(- (+ (log (/ a1 b1)) (log a2)) (log b2))

prune620.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0b

regimes662.0ms

Accuracy

47.9% (5.5b remaining)

Error of 5.6b against oracle of 0.0b and baseline of 10.7b

bsearch12.0ms

end0.0ms

sample1.2s

Algorithm

intervals

Results

848.0ms

9974×

body

valid