Details

Time bar (total: 21.9s)

sample34.0ms

Algorithm
intervals
Results
22.0ms321×body80valid

simplify40.0ms

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

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.5b

localize20.0ms

Local error

Found 1 expressions with local error:

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

rewrite23.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 pow1 clear-num associate-/r* frac-2neg *-un-lft-identity times-frac add-cube-cbrt insert-posit16 div-inv associate-/l* add-log-exp
Counts
1 → 22
Calls
1 calls:
Slowest
22.0ms
(/ (* a1 a2) (* b1 b2))

series35.0ms

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

simplify3.2s

Counts
13 → 25
Calls
13 calls:
Slowest
760.0ms
(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
704.0ms
(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
629.0ms
(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
485.0ms
(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
141.0ms
(- (log (* a1 a2)) (+ (log b1) (log b2)))

prune311.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.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×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative insert-posit16 add-log-exp
Counts
1 → 51
Calls
1 calls:
Slowest
12.0ms
(* (/ a1 b1) (/ a2 b2))

series40.0ms

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

simplify2.8s

Counts
47 → 54
Calls
47 calls:
Slowest
608.0ms
(* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (/ (* (* a2 a2) a2) (* (* b2 b2) b2)))
560.0ms
(* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)))
239.0ms
(* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)))
238.0ms
(* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (/ (* (* a2 a2) a2) (* (* b2 b2) b2)))
156.0ms
(+ (- (log a1) (log b1)) (- (log a2) (log b2)))

prune570.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 pow1 clear-num associate-/r* frac-2neg *-un-lft-identity times-frac add-cube-cbrt insert-posit16 div-inv associate-/l* add-log-exp
Counts
1 → 22
Calls
1 calls:
Slowest
14.0ms
(/ (* a1 a2) (* b2 b1))

series51.0ms

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

simplify3.4s

Counts
13 → 25
Calls
13 calls:
Slowest
805.0ms
(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b2 b1) (* b2 b1)) (* b2 b1)))
775.0ms
(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b2 b1) (* b2 b1)) (* b2 b1)))
668.0ms
(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b2 b2) b2) (* (* b1 b1) b1)))
583.0ms
(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b2 b2) b2) (* (* b1 b1) b1)))
137.0ms
(- (+ (log a1) (log a2)) (+ (log b2) (log b1)))

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

rewrite52.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×insert-posit16 add-log-exp
3×pow1/3 div-inv
2×cbrt-undiv div-exp
1×associate-*r* associate-*l* *-commutative
Counts
4 → 111
Calls
4 calls:
Slowest
46.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))

series322.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
109.0ms
(cbrt (/ a1 b1))
94.0ms
(cbrt (/ a1 b1))
82.0ms
(cbrt (/ a1 b1))
36.0ms
(* (* (cbrt (/ a1 b1)) (cbrt (/ a1 b1))) (* (cbrt (/ a1 b1)) (/ a2 b2)))

simplify7.6s

Counts
95 → 123
Calls
95 calls:
Slowest
366.0ms
(exp (* 1/3 (- (log (/ -1 b1)) (log (/ -1 a1)))))
343.0ms
(+ (+ (log (cbrt (/ a1 b1))) (log (cbrt (/ a1 b1)))) (+ (log (cbrt (/ a1 b1))) (- (log a2) (log b2))))
292.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))))
277.0ms
(exp (* 1/3 (- (log (/ -1 b1)) (log (/ -1 a1)))))
275.0ms
(+ (log (* (cbrt (/ a1 b1)) (cbrt (/ a1 b1)))) (+ (log (cbrt (/ a1 b1))) (log (/ a2 b2))))

prune1.4s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes455.0ms

Accuracy

52.6% (5.1b remaining)

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

bsearch15.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
907.0ms10011×body80valid