Details

Time bar (total: 6.9m)

sample33.0ms

Algorithm
intervals
Results
22.0ms334×body80valid

simplify56.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.5b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
56×*-un-lft-identity
46×times-frac
41×add-sqr-sqrt
36×add-cube-cbrt
16×fma-neg prod-diff
13×associate-*l*
10×add-cbrt-cube add-exp-log distribute-lft-out
5×pow1 add-log-exp
4×div-inv associate-/l*
3×expm1-log1p-u associate-/r* associate-*r* associate-*l/ insert-posit16 log1p-expm1-u
2×cbrt-undiv div-exp prod-exp cbrt-unprod 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 → 120
Calls
3 calls:
Slowest
52.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
13.0ms
(/ (+ x 4) y)
11.0ms
(* (/ x y) z)

series139.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
64.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
40.0ms
(/ (+ x 4) y)
35.0ms
(* (/ x y) z)

simplify9.7s

Counts
162 → 129
Calls
162 calls:
Slowest
624.0ms
(fma (/ 1 (sqrt y)) (/ (+ x 4) (sqrt y)) (- (* z (/ x y))))
333.0ms
(* (* (/ (+ x 4) y) (/ (+ x 4) y)) (/ (+ x 4) y))
332.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))
298.0ms
(fma (/ 1 (sqrt y)) (/ (+ x 4) (sqrt y)) (- (* z (/ x y))))
284.0ms
(- (* (+ x 4) y) (* y (* x z)))

prune1.3s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 3 expressions with local error:

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

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
56×*-un-lft-identity
46×times-frac
41×add-sqr-sqrt
36×add-cube-cbrt
16×fma-neg prod-diff
13×associate-*r*
10×add-cbrt-cube add-exp-log distribute-lft-out
5×pow1 add-log-exp
4×div-inv associate-/l*
3×expm1-log1p-u associate-/r* associate-*l* associate-*r/ insert-posit16 log1p-expm1-u
2×cbrt-undiv div-exp prod-exp cbrt-unprod 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 → 120
Calls
3 calls:
Slowest
76.0ms
(- (/ (+ x 4) y) (* x (/ z y)))
27.0ms
(/ (+ x 4) y)
18.0ms
(* x (/ z y))

series144.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
59.0ms
(- (/ (+ x 4) y) (* x (/ z y)))
44.0ms
(/ (+ x 4) y)
41.0ms
(* x (/ z y))

simplify10.2s

Counts
162 → 129
Calls
162 calls:
Slowest
364.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))
301.0ms
(exp (- (/ (+ x 4) y) (* x (/ z y))))
298.0ms
(+ (* (/ (+ x 4) y) (/ (+ x 4) y)) (+ (* (* x (/ z y)) (* x (/ z y))) (* (/ (+ x 4) y) (* x (/ z y)))))
278.0ms
(* (* (/ (+ x 4) y) (/ (+ x 4) y)) (/ (+ x 4) y))
265.0ms
(fma (/ 1 (sqrt y)) (/ (+ x 4) (sqrt y)) (- (* (/ z y) x)))

prune1.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

2.9b
(* (/ x (* (cbrt y) (cbrt y))) (/ z (cbrt y)))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
28×times-frac
25×add-exp-log
22×*-un-lft-identity associate-*r* add-cube-cbrt
20×cbrt-prod
18×add-cbrt-cube
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp associate-*l*
6×pow1 unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 104
Calls
4 calls:
Slowest
49.0ms
(* (/ x (* (cbrt y) (cbrt y))) (/ z (cbrt y)))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series897.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
273.0ms
(cbrt y)
272.0ms
(cbrt y)
271.0ms
(cbrt y)
81.0ms
(* (/ x (* (cbrt y) (cbrt y))) (/ z (cbrt y)))

simplify10.8s

Counts
128 → 116
Calls
128 calls:
Slowest
493.0ms
(* (/ (* (* x x) x) (* y y)) (/ (* (* z z) z) y))
481.0ms
(* (/ x (* (cbrt y) (cbrt y))) (/ (* (cbrt z) (cbrt z)) 1))
409.0ms
(+ (- (log x) (log (* (cbrt y) (cbrt y)))) (- (log z) (log (cbrt y))))
404.0ms
(+ (- (log x) (+ (log (cbrt y)) (log (cbrt y)))) (log (/ z (cbrt y))))
390.0ms
(+ (- (log x) (log (* (cbrt y) (cbrt y)))) (log (/ z (cbrt y))))

prune1.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

4.9b
(/ z (/ y x))
0.0b
(- (/ (+ 4 x) y) (/ z (/ y x)))
0.0b
(/ (+ 4 x) y)

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
1696×times-frac
1263×*-un-lft-identity
995×add-sqr-sqrt
974×add-cube-cbrt
704×prod-diff
140×distribute-lft-out
115×div-inv
17×associate-/r/
16×associate-/r* fma-neg
10×add-cbrt-cube add-exp-log
7×associate-/l*
6×difference-of-squares
5×add-log-exp
4×cbrt-undiv div-exp
3×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u distribute-lft-out--
2×clear-num frac-2neg associate-/l/
1×sub-neg flip3-+ flip3-- diff-log frac-sub flip-+ flip--
Counts
3 → 854
Calls
3 calls:
Slowest
50.0ms
(- (/ (+ 4 x) y) (/ z (/ y x)))
14.0ms
(/ (+ 4 x) y)
5.0ms
(/ z (/ y x))

series136.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
59.0ms
(- (/ (+ 4 x) y) (/ z (/ y x)))
39.0ms
(/ z (/ y x))
38.0ms
(/ (+ 4 x) y)

simplify6.1m

Counts
1629 → 863
Calls
1629 calls:
Slowest
920.0ms
(fma (* (cbrt (/ (+ 4 x) y)) (cbrt (/ (+ 4 x) y))) (cbrt (/ (+ 4 x) y)) (- (* (/ z (/ (sqrt y) x)) (/ 1 (/ (sqrt y) 1)))))
861.0ms
(fma (/ 1 (sqrt y)) (/ (+ 4 x) (sqrt y)) (- (* (/ z (sqrt (/ y x))) (/ 1 (sqrt (/ y x))))))
770.0ms
(fma (/ (* (cbrt (+ 4 x)) (cbrt (+ 4 x))) 1) (/ (cbrt (+ 4 x)) y) (- (* (/ (cbrt z) (/ (sqrt y) x)) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) 1)))))
770.0ms
(fma (/ 1 1) (/ (+ 4 x) y) (- (* (/ z (/ (cbrt y) x)) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)))))
742.0ms
(fma (- (/ (sqrt z) (/ (cbrt y) x))) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) 1)) (* (/ (sqrt z) (/ (cbrt y) x)) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) 1))))

prune11.4s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes154.0ms

Accuracy

62% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 1.8b

bsearch125.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.2s10143×body80valid