Details

Time bar (total: 53.4s)

sample27.0ms

Algorithm
intervals
Results
18.0ms321×body80valid

simplify44.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.0b

localize9.0ms

Local error

Found 1 expressions with local error:

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

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

series49.0ms

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

simplify3.3s

Counts
13 → 25
Calls
13 calls:
Slowest
742.0ms
(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
689.0ms
(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
660.0ms
(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
554.0ms
(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
138.0ms
(- (log (* a1 a2)) (+ (log b1) (log b2)))

prune224.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite46.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×pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 add-log-exp
1×associate-/l/
Counts
2 → 71
Calls
2 calls:
Slowest
23.0ms
(/ (* a1 a2) b1)
21.0ms
(/ (/ (* a1 a2) b1) b2)

series62.0ms

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

simplify3.7s

Counts
75 → 77
Calls
75 calls:
Slowest
454.0ms
(/ (/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* b1 b1) b1)) (* (* b2 b2) b2))
352.0ms
(/ (/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* b1 b1) b1)) (* (* b2 b2) b2))
221.0ms
(- (- (+ (log a1) (log a2)) (log b1)) (log b2))
215.0ms
(- (log (/ (* a1 a2) b1)) (log b2))
191.0ms
(- (- (log (* a1 a2)) (log b1)) (log b2))

prune803.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

5.6b
(* (/ (* a1 a2) b1) (/ 1 b2))
4.4b
(/ (* a1 a2) b1)

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
46×add-exp-log
28×add-cbrt-cube
20×add-sqr-sqrt
17×times-frac prod-exp
16×div-exp
14×*-un-lft-identity
13×associate-*r* add-cube-cbrt
9×cbrt-undiv cbrt-unprod
7×associate-*l*
4×pow1
3×rec-exp associate-/r* 1-exp div-inv unswap-sqr
2×insert-posit16 add-log-exp
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ un-div-inv *-commutative associate-/l*
Counts
2 → 77
Calls
2 calls:
Slowest
20.0ms
(* (/ (* a1 a2) b1) (/ 1 b2))
14.0ms
(/ (* a1 a2) b1)

series66.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
38.0ms
(* (/ (* a1 a2) b1) (/ 1 b2))
28.0ms
(/ (* a1 a2) b1)

simplify6.9s

Counts
65 → 83
Calls
65 calls:
Slowest
513.0ms
(+ (- (log (* a1 a2)) (log b1)) (- (log 1) (log b2)))
459.0ms
(+ (- (log (* a1 a2)) (log b1)) (log (/ 1 b2)))
429.0ms
(* (/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* b1 b1) b1)) (/ (* (* 1 1) 1) (* (* b2 b2) b2)))
408.0ms
(* (/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* b1 b1) b1)) (/ (* (* 1 1) 1) (* (* b2 b2) b2)))
396.0ms
(* (/ (* a1 a2) b1) (/ 1 b2))

prune809.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize9.0ms

Local error

Found 2 expressions with local error:

5.2b
(/ (/ a1 (/ b2 a2)) b1)
4.2b
(/ a1 (/ b2 a2))

rewrite46.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×pow1 clear-num frac-2neg insert-posit16 add-log-exp
1×associate-/l/
Counts
2 → 268
Calls
2 calls:
Slowest
19.0ms
(/ (/ a1 (/ b2 a2)) b1)
16.0ms
(/ a1 (/ b2 a2))

series74.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
37.0ms
(/ (/ a1 (/ b2 a2)) b1)
37.0ms
(/ a1 (/ b2 a2))

simplify32.5s

Counts
417 → 274
Calls
417 calls:
Slowest
497.0ms
(/ (* (cbrt a1) (cbrt a1)) (/ (* (cbrt b2) (cbrt b2)) (* (cbrt a2) (cbrt a2))))
482.0ms
(/ (/ (* (cbrt a1) (cbrt a1)) (/ (* (cbrt b2) (cbrt b2)) (* (cbrt a2) (cbrt a2)))) (* (cbrt b1) (cbrt b1)))
474.0ms
(/ (* (cbrt a1) (cbrt a1)) (/ (* (cbrt b2) (cbrt b2)) (* (cbrt a2) (cbrt a2))))
449.0ms
(/ (/ (* (cbrt a1) (cbrt a1)) (/ 1 (sqrt a2))) 1)
428.0ms
(/ (/ (sqrt a1) (/ (* (cbrt b2) (cbrt b2)) (* (cbrt a2) (cbrt a2)))) 1)

prune2.6s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes855.0ms

Accuracy

65.9% (3.6b remaining)

Error of 3.6b against oracle of 0.0b and baseline of 10.6b

bsearch9.0ms

end0.0ms

sample1.1s

Algorithm
intervals
Results
885.0ms9971×body80valid