Details

Time bar (total: 48.7s)

sample48.0ms

Algorithm
intervals
Results
32.0ms318×body80valid

simplify59.0ms

Calls
1 calls:
Slowest
59.0ms
(/ (* a1 a2) (* b1 b2))

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.6b

localize19.0ms

Local error

Found 1 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
144×times-frac
131×add-sqr-sqrt
79×*-un-lft-identity add-cube-cbrt
78×associate-*r* associate-*l*
26×*-commutative unswap-sqr
13×add-cbrt-cube add-exp-log
12×associate-/r* associate-/l*
4×cbrt-undiv div-exp prod-exp cbrt-unprod
1×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u div-inv add-log-exp
Calls
1 calls:
Slowest
25.0ms
(/ (* a1 a2) (* b1 b2))

series41.0ms

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

simplify12.8s

Calls
316 calls:
Slowest
741.0ms
(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
680.0ms
(/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
662.0ms
(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
643.0ms
(/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
322.0ms
(/ (* a1 (* (cbrt a2) (cbrt a2))) (* (sqrt b1) (sqrt b2)))

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 1 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-times
67×add-sqr-sqrt
61×associate-/l*
60×associate-/r*
56×*-un-lft-identity
55×add-cube-cbrt
22×times-frac
21×clear-num
20×frac-2neg
13×add-cbrt-cube associate-*r* associate-*l* add-exp-log
9×associate-*l/ associate-*r/
4×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
3×pow1
2×un-div-inv div-inv
1×expm1-log1p-u pow-prod-down *-commutative insert-posit16 log1p-expm1-u add-log-exp
Calls
1 calls:
Slowest
21.0ms
(* (/ a2 b1) (/ a1 b2))

series36.0ms

Calls
1 calls:
Slowest
36.0ms
(* (/ a2 b1) (/ a1 b2))

simplify7.6s

Calls
224 calls:
Slowest
618.0ms
(* (* (* (/ a2 b1) (/ a2 b1)) (/ a2 b1)) (* (* (/ a1 b2) (/ a1 b2)) (/ a1 b2)))
279.0ms
(* (/ (* (* a2 a2) a2) (* (* b1 b1) b1)) (/ (* (* a1 a1) a1) (* (* b2 b2) b2)))
236.0ms
(* (/ (* (* a2 a2) a2) (* (* b1 b1) b1)) (* (* (/ a1 b2) (/ a1 b2)) (/ a1 b2)))
225.0ms
(* (/ a2 (* (cbrt b1) (cbrt b1))) (/ a1 (* (cbrt b2) (cbrt b2))))
191.0ms
(* (/ a2 (sqrt b1)) (/ a1 (* (cbrt b2) (cbrt b2))))

prune1.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 1 expressions with local error:

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-times
67×add-sqr-sqrt
61×associate-/l*
60×associate-/r*
56×*-un-lft-identity
55×add-cube-cbrt
22×times-frac
21×clear-num
20×frac-2neg
13×add-cbrt-cube associate-*r* associate-*l* add-exp-log
9×associate-*l/ associate-*r/
4×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
3×pow1
2×un-div-inv div-inv
1×expm1-log1p-u pow-prod-down *-commutative insert-posit16 log1p-expm1-u add-log-exp
Calls
1 calls:
Slowest
17.0ms
(* (/ a1 b1) (/ a2 b2))

series50.0ms

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

simplify7.6s

Calls
224 calls:
Slowest
659.0ms
(* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)))
256.0ms
(* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (/ (* (* a2 a2) a2) (* (* b2 b2) b2)))
224.0ms
(* (/ a1 (* (cbrt b1) (cbrt b1))) (/ a2 (sqrt b2)))
198.0ms
(* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)))
198.0ms
(* (/ a1 (* (cbrt b1) (cbrt b1))) (/ a2 (* (cbrt b2) (cbrt b2))))

prune1.4s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
99×add-sqr-sqrt
76×*-un-lft-identity
74×add-cube-cbrt
65×associate-*r*
29×associate-/r*
18×associate-*r/
16×add-cbrt-cube add-exp-log
15×associate-*l*
11×associate-/r/ associate-/l*
10×unswap-sqr
6×div-inv
5×cbrt-undiv clear-num div-exp *-commutative
4×pow1 prod-exp un-div-inv cbrt-unprod
3×frac-2neg
2×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
1×pow-prod-down
Calls
2 calls:
Slowest
17.0ms
(/ a1 (* b1 (/ b2 a2)))
10.0ms
(* b1 (/ b2 a2))

series60.0ms

Calls
2 calls:
Slowest
40.0ms
(/ a1 (* b1 (/ b2 a2)))
20.0ms
(* b1 (/ b2 a2))

simplify12.1s

Calls
216 calls:
Slowest
610.0ms
(/ (* (cbrt a1) (cbrt a1)) (* b1 (/ 1 (* (cbrt a2) (cbrt a2)))))
609.0ms
(/ (* (cbrt a1) (cbrt a1)) (* b1 (/ (sqrt b2) (* (cbrt a2) (cbrt a2)))))
388.0ms
(/ (* (cbrt a1) (cbrt a1)) (* b1 (/ (* (cbrt b2) (cbrt b2)) (sqrt a2))))
344.0ms
(/ 1 (* b1 (/ (* (cbrt b2) (cbrt b2)) (* (cbrt a2) (cbrt a2)))))
311.0ms
(/ (* (cbrt a1) (cbrt a1)) (* b1 (/ (* (cbrt b2) (cbrt b2)) 1)))

prune1.6s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes703.0ms

Accuracy

78.6% (2.3b remaining)

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

bsearch14.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
911.0ms10025×body80valid