Details

Time bar (total: 30.5s)

sample55.0ms

Algorithm
intervals
Results
40.0ms316×body80valid

simplify79.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize32.0ms

Local error

Found 3 expressions with local error:

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

rewrite61.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
Counts
3 → 82
Calls
3 calls:
Slowest
29.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
18.0ms
(* (/ x y) z)
13.0ms
(/ (+ x 4) y)

series157.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
75.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
48.0ms
(/ (+ x 4) y)
34.0ms
(* (/ x y) z)

simplify2.3s

Counts
68 → 91
Calls
68 calls:
Slowest
246.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))
219.0ms
(* (* (* (/ x y) (/ x y)) (/ x y)) (* (* z z) z))
202.0ms
(/ (exp (/ (+ x 4) y)) (exp (* (/ x y) z)))
154.0ms
(- (+ (/ x y) (* 4 (/ 1 y))) (/ (* x z) y))
153.0ms
(- (+ (/ x y) (* 4 (/ 1 y))) (/ (* x z) y))

prune934.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite73.0ms

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

series131.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
51.0ms
(- (* (+ x 4) (/ 1 y)) (* (/ x y) z))
46.0ms
(* (/ x y) z)
34.0ms
(* (+ x 4) (/ 1 y))

simplify5.6s

Counts
81 → 105
Calls
81 calls:
Slowest
376.0ms
(- (* (* (- (* x x) (* 4 4)) (/ 1 y)) y) (* (- x 4) (* x z)))
376.0ms
(* (- (* x x) (* 4 4)) (/ 1 y))
362.0ms
(/ (exp (* (+ x 4) (/ 1 y))) (exp (* (/ x y) z)))
317.0ms
(- (* (* (- (* x x) (* 4 4)) 1) y) (* (* (- x 4) y) (* x z)))
302.0ms
(* (+ (pow x 3) (pow 4 3)) (/ 1 y))

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

3.1b
(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))
0.7b
(* (/ x (cbrt y)) z)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite125.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/
Counts
4 → 119
Calls
4 calls:
Slowest
97.0ms
(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))
22.0ms
(* (/ x (cbrt y)) z)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series872.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
334.0ms
(cbrt y)
301.0ms
(cbrt y)
168.0ms
(* (/ x (cbrt y)) z)
69.0ms
(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))

simplify12.4s

Counts
93 → 131
Calls
93 calls:
Slowest
620.0ms
(+ (- 0 (+ (log (cbrt y)) (log (cbrt y)))) (+ (- (log x) (log (cbrt y))) (log z)))
505.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)))
493.0ms
(* (/ (* x z) (cbrt -1)) (pow (/ -1 y) 1/3))
488.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)))
463.0ms
(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))

prune1.4s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
18×add-sqr-sqrt
16×times-frac
13×associate-*r* add-cube-cbrt
10×add-log-exp
8×add-cbrt-cube add-exp-log
5×pow1
4×associate-*r/ distribute-lft-out
3×associate-*l* 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--
Counts
3 → 69
Calls
3 calls:
Slowest
98.0ms
(- (+ (/ x y) (/ 4 y)) (* x (/ z y)))
14.0ms
(+ (/ x y) (/ 4 y))
13.0ms
(* x (/ z y))

series97.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
45.0ms
(- (+ (/ x y) (/ 4 y)) (* x (/ z y)))
31.0ms
(+ (/ x y) (/ 4 y))
21.0ms
(* x (/ z y))

simplify2.6s

Counts
54 → 78
Calls
54 calls:
Slowest
345.0ms
(- (* (+ (* x y) (* y 4)) y) (* (* y y) (* x z)))
312.0ms
(* (+ (* (/ x y) (/ x y)) (- (* (/ 4 y) (/ 4 y)) (* (/ x y) (/ 4 y)))) y)
282.0ms
(- (* (- (* (/ x y) (/ x y)) (* (/ 4 y) (/ 4 y))) y) (* (- (/ x y) (/ 4 y)) (* x z)))
233.0ms
(* (* (* x x) x) (* (* (/ z y) (/ z y)) (/ z y)))
207.0ms
(- (* (+ (pow (/ x y) 3) (pow (/ 4 y) 3)) y) (* (+ (* (/ x y) (/ x y)) (- (* (/ 4 y) (/ 4 y)) (* (/ x y) (/ 4 y)))) (* x z)))

prune673.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes191.0ms

Accuracy

0% (1.5b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 1.5b

bsearch2.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.1s10138×body80valid