Details

Time bar (total: 22.6s)

sample46.0ms

Algorithm
intervals
Results
32.0ms321×body80valid

simplify41.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
41.0ms
(/ (* a1 a2) (* b1 b2))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.5b

localize19.0ms

Local error

Found 1 expressions with local error:

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

rewrite33.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
32.0ms
(/ (* a1 a2) (* b1 b2))

series30.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
30.0ms
(/ (* a1 a2) (* b1 b2))

simplify3.5s

Counts
13 → 27
Calls
13 calls:
Slowest
766.0ms
(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
749.0ms
(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
721.0ms
(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
534.0ms
(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
139.0ms
(- (+ (log a1) (log a2)) (+ (log b1) (log b2)))

prune246.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
22×times-frac
15×*-un-lft-identity add-cube-cbrt
13×add-cbrt-cube associate-*r* associate-*l* add-exp-log
4×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
3×pow1
2×div-inv
1×expm1-log1p-u frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative insert-posit16 log1p-expm1-u add-log-exp
Counts
1 → 53
Calls
1 calls:
Slowest
16.0ms
(* (/ a1 b1) (/ a2 b2))

series37.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
37.0ms
(* (/ a1 b1) (/ a2 b2))

simplify2.9s

Counts
47 → 56
Calls
47 calls:
Slowest
613.0ms
(* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)))
414.0ms
(/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))
267.0ms
(* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (/ (* (* a2 a2) a2) (* (* b2 b2) b2)))
186.0ms
(+ (- (log a1) (log b1)) (- (log a2) (log b2)))
185.0ms
(* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)))

prune549.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite14.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
13.0ms
(/ (* a1 a2) (* b2 b1))

series53.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
53.0ms
(/ (* a1 a2) (* b2 b1))

simplify3.4s

Counts
13 → 27
Calls
13 calls:
Slowest
820.0ms
(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b2 b1) (* b2 b1)) (* b2 b1)))
743.0ms
(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b2 b1) (* b2 b1)) (* b2 b1)))
676.0ms
(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b2 b2) b2) (* (* b1 b1) b1)))
526.0ms
(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b2 b2) b2) (* (* b1 b1) b1)))
143.0ms
(- (+ (log a1) (log a2)) (log (* b2 b1)))

prune254.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

10.7b
(cbrt (/ a1 b1))
10.7b
(cbrt (/ a1 b1))
10.7b
(cbrt (/ a1 b1))
4.6b
(* (* (cbrt (/ a1 b1)) (cbrt (/ a1 b1))) (* (cbrt (/ a1 b1)) (/ a2 b2)))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
27×cbrt-div times-frac
25×add-sqr-sqrt *-un-lft-identity add-exp-log add-cube-cbrt
17×frac-times
16×pow1
15×add-cbrt-cube
13×prod-exp cbrt-unprod
11×associate-*l/ associate-*r/
8×pow-prod-down
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 div-inv
2×cbrt-undiv div-exp
1×associate-*r* associate-*l* *-commutative
Counts
4 → 119
Calls
4 calls:
Slowest
54.0ms
(* (* (cbrt (/ a1 b1)) (cbrt (/ a1 b1))) (* (cbrt (/ a1 b1)) (/ a2 b2)))
1.0ms
(cbrt (/ a1 b1))
1.0ms
(cbrt (/ a1 b1))
1.0ms
(cbrt (/ a1 b1))

series333.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
99.0ms
(cbrt (/ a1 b1))
97.0ms
(cbrt (/ a1 b1))
90.0ms
(cbrt (/ a1 b1))
48.0ms
(* (* (cbrt (/ a1 b1)) (cbrt (/ a1 b1))) (* (cbrt (/ a1 b1)) (/ a2 b2)))

simplify8.0s

Counts
95 → 131
Calls
95 calls:
Slowest
349.0ms
(exp (* 1/3 (- (log (/ -1 b1)) (log (/ -1 a1)))))
324.0ms
(+ (+ (log (cbrt (/ a1 b1))) (log (cbrt (/ a1 b1)))) (+ (log (cbrt (/ a1 b1))) (- (log a2) (log b2))))
323.0ms
(exp (* 1/3 (- (log (/ -1 b1)) (log (/ -1 a1)))))
307.0ms
(* (* (* (* (cbrt (/ a1 b1)) (cbrt (/ a1 b1))) (* (cbrt (/ a1 b1)) (cbrt (/ a1 b1)))) (* (cbrt (/ a1 b1)) (cbrt (/ a1 b1)))) (* (/ a1 b1) (/ (* (* a2 a2) a2) (* (* b2 b2) b2))))
299.0ms
(+ (log (* (cbrt (/ a1 b1)) (cbrt (/ a1 b1)))) (+ (log (cbrt (/ a1 b1))) (- (log a2) (log b2))))

prune1.3s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes551.0ms

Accuracy

52.6% (5.1b remaining)

Error of 5.2b against oracle of 0.1b and baseline of 10.9b

bsearch14.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
912.0ms10011×body80valid