Details

Time bar (total: 32.4s)

sample49.0ms

Algorithm
intervals
Results
35.0ms327×body80valid

simplify66.0ms

Calls
1 calls:
Slowest
65.0ms
(fabs (- (/ (+ x 4) y) (* (/ x y) z)))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.6b

localize15.0ms

Local error

Found 3 expressions with local error:

2.6b
(* (/ x y) z)
0.0b
(- (/ (+ x 4) y) (* (/ x y) z))
0.0b
(/ (+ x 4) y)

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
25×add-sqr-sqrt
22×times-frac
20×add-cube-cbrt
13×associate-*l*
10×add-cbrt-cube add-exp-log
5×pow1 add-log-exp
4×distribute-lft-out associate-/l*
3×associate-/r* associate-*r* associate-*l/ insert-posit16
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr associate-/l/
1×clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log pow-prod-down *-commutative frac-sub flip-+ flip-- sub-div
Calls
3 calls:
Slowest
35.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
13.0ms
(/ (+ x 4) y)
10.0ms
(* (/ x y) z)

series123.0ms

Calls
3 calls:
Slowest
56.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
35.0ms
(/ (+ x 4) y)
32.0ms
(* (/ x y) z)

simplify2.5s

Calls
68 calls:
Slowest
366.0ms
(/ (cbrt (+ x 4)) (cbrt y))
246.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))
230.0ms
(* (* (* (/ x y) (/ x y)) (/ x y)) (* (* z z) z))
203.0ms
(/ (exp (/ (+ x 4) y)) (exp (* (/ x y) z)))
151.0ms
(* (/ (* (* x x) x) (* (* y y) y)) (* (* z z) z))

prune888.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize32.0ms

Local error

Found 3 expressions with local error:

2.6b
(* (/ x y) z)
0.0b
(- (+ (/ x y) (/ 4 y)) (* (/ x y) z))
0.0b
(+ (/ x y) (/ 4 y))

rewrite151.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
18×add-sqr-sqrt
16×times-frac
13×associate-*l* add-cube-cbrt
10×add-log-exp
8×add-cbrt-cube add-exp-log
5×pow1
4×associate-*l/ distribute-lft-out
3×associate-*r* frac-sub insert-posit16 div-inv
2×sum-log flip3-+ diff-log frac-add prod-exp cbrt-unprod flip-+ unswap-sqr
1×cbrt-undiv +-commutative sub-neg distribute-rgt-out flip3-- div-exp pow-prod-down associate--l+ *-commutative flip--
Calls
3 calls:
Slowest
108.0ms
(- (+ (/ x y) (/ 4 y)) (* (/ x y) z))
22.0ms
(+ (/ x y) (/ 4 y))
19.0ms
(* (/ x y) z)

series129.0ms

Calls
3 calls:
Slowest
52.0ms
(- (+ (/ x y) (/ 4 y)) (* (/ x y) z))
42.0ms
(+ (/ x y) (/ 4 y))
35.0ms
(* (/ x y) z)

simplify3.4s

Calls
53 calls:
Slowest
488.0ms
(/ (exp (+ (/ x y) (/ 4 y))) (exp (* (/ x y) z)))
456.0ms
(/ (* (exp (/ x y)) (exp (/ 4 y))) (exp (* (/ x y) z)))
355.0ms
(* (+ (* (/ x y) (/ x y)) (- (* (/ 4 y) (/ 4 y)) (* (/ x y) (/ 4 y)))) y)
321.0ms
(- (* (+ (* x y) (* y 4)) y) (* (* y y) (* x z)))
243.0ms
(- (* (- (* (/ x y) (/ x y)) (* (/ 4 y) (/ 4 y))) y) (* (- (/ x y) (/ 4 y)) (* x z)))

prune818.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize40.0ms

Local error

Found 3 expressions with local error:

2.6b
(* (/ x y) z)
0.1b
(* (/ 1 y) (+ x 4))
0.0b
(- (* (/ 1 y) (+ x 4)) (* (/ x y) z))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
26×associate-*l*
22×*-un-lft-identity
21×times-frac
19×add-cube-cbrt
17×add-exp-log
13×add-cbrt-cube
10×associate-*l/
7×pow1 associate-*r*
6×prod-exp
5×frac-sub add-log-exp unswap-sqr
4×frac-times flip3-+ associate-*r/ cbrt-unprod flip-+
3×div-exp insert-posit16
2×distribute-rgt-in cbrt-undiv distribute-lft-in pow-prod-down associate--l+ *-commutative div-inv
1×rec-exp sub-neg flip3-- diff-log 1-exp flip-- distribute-lft-out sub-div
Calls
3 calls:
Slowest
27.0ms
(- (* (/ 1 y) (+ x 4)) (* (/ x y) z))
18.0ms
(* (/ 1 y) (+ x 4))
10.0ms
(* (/ x y) z)

series159.0ms

Calls
3 calls:
Slowest
74.0ms
(- (* (/ 1 y) (+ x 4)) (* (/ x y) z))
44.0ms
(* (/ x y) z)
41.0ms
(* (/ 1 y) (+ x 4))

simplify5.2s

Calls
83 calls:
Slowest
483.0ms
(/ (exp (* (/ 1 y) (+ x 4))) (exp (* (/ x y) z)))
454.0ms
(- (* (* 1 (- (* x x) (* 4 4))) y) (* (* y (- x 4)) (* x z)))
347.0ms
(- (* (* (/ 1 y) (- (* x x) (* 4 4))) y) (* (- x 4) (* x z)))
315.0ms
(* (* y (+ (* x x) (- (* 4 4) (* x 4)))) y)
241.0ms
(- (* (* (/ 1 y) (+ (pow x 3) (pow 4 3))) y) (* (+ (* x x) (- (* 4 4) (* x 4))) (* x z)))

prune979.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize69.0ms

Local error

Found 4 expressions with local error:

3.3b
(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))
1.3b
(* (/ x (cbrt y)) z)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
87×add-exp-log
46×prod-exp
35×add-cbrt-cube
30×add-sqr-sqrt
29×associate-*l*
23×times-frac
22×*-un-lft-identity add-cube-cbrt
20×div-exp cbrt-unprod
16×cbrt-prod
11×pow1
10×cbrt-undiv
6×rec-exp 1-exp
4×associate-*r* pow-prod-down associate-*l/ insert-posit16 add-log-exp
3×unswap-sqr
2×pow1/3 *-commutative div-inv
1×frac-times associate-*r/
Calls
4 calls:
Slowest
93.0ms
(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))
21.0ms
(* (/ x (cbrt y)) z)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series831.0ms

Calls
4 calls:
Slowest
271.0ms
(cbrt y)
267.0ms
(cbrt y)
206.0ms
(* (/ x (cbrt y)) z)
87.0ms
(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))

simplify12.9s

Calls
93 calls:
Slowest
556.0ms
(* (/ (* x z) (cbrt -1)) (pow (/ -1 y) 1/3))
492.0ms
(* (/ (* (* 1 1) 1) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ x (cbrt y)) z) (* (/ x (cbrt y)) z)) (* (/ x (cbrt y)) z)))
487.0ms
(* (/ (* (* 1 1) 1) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ x (cbrt y)) (/ x (cbrt y))) (/ x (cbrt y))) (* (* z z) z)))
477.0ms
(+ (- 0 (+ (log (cbrt y)) (log (cbrt y)))) (log (* (/ x (cbrt y)) z)))
471.0ms
(+ (- (log (* (cbrt y) (cbrt y)))) (+ (- (log x) (log (cbrt y))) (log z)))

prune2.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes163.0ms

Accuracy

84.3% (0.2b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 1.6b

bsearch114.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.1s10069×body80valid