Details

Time bar (total: 7.0m)

sample39.0ms

Algorithm
intervals
Results
27.0ms315×body80valid

simplify95.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.7b

localize22.0ms

Local error

Found 3 expressions with local error:

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

rewrite131.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
83.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
25.0ms
(/ (+ x 4) y)
21.0ms
(* (/ x y) z)

series139.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
73.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
37.0ms
(/ (+ x 4) y)
29.0ms
(* (/ x y) z)

simplify5.9s

Counts
115 → 129
Calls
115 calls:
Slowest
377.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))
276.0ms
(fma (/ 1 (sqrt y)) (/ (+ x 4) (sqrt y)) (- (* z (/ x y))))
266.0ms
(fma (/ 1 (sqrt y)) (/ (+ x 4) (sqrt y)) (- (* z (/ x y))))
255.0ms
(fma (/ (* (cbrt (+ x 4)) (cbrt (+ x 4))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ x 4)) (cbrt y)) (- (* z (/ x y))))
228.0ms
(/ (exp (/ (+ x 4) y)) (exp (* (/ x y) z)))

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
73×add-exp-log
39×add-cbrt-cube
37×prod-exp cbrt-unprod
17×cbrt-undiv div-exp
16×pow1
9×cbrt-prod associate-*l/
8×pow-prod-down
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×frac-times
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 associate-*r/
1×associate-*r* associate-*l* *-commutative
Counts
4 → 96
Calls
4 calls:
Slowest
67.0ms
(* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (* (/ (cbrt x) (cbrt y)) z))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series858.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
290.0ms
(cbrt y)
284.0ms
(cbrt y)
254.0ms
(cbrt y)
30.0ms
(* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (* (/ (cbrt x) (cbrt y)) z))

simplify11.4s

Counts
66 → 108
Calls
66 calls:
Slowest
687.0ms
(* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (* (/ (cbrt x) (cbrt y)) z))
409.0ms
(* (* (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) z) (* (/ (cbrt x) (cbrt y)) z)) (* (/ (cbrt x) (cbrt y)) z)))
391.0ms
(* (* (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y))) (/ x y)) (* (* (* (/ (cbrt x) (cbrt y)) z) (* (/ (cbrt x) (cbrt y)) z)) (* (/ (cbrt x) (cbrt y)) z)))
384.0ms
(+ (+ (- (log (cbrt x)) (log (cbrt y))) (- (log (cbrt x)) (log (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log z)))
381.0ms
(+ (+ (log (/ (cbrt x) (cbrt y))) (log (/ (cbrt x) (cbrt y)))) (log (* (/ (cbrt x) (cbrt y)) z)))

prune1.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite176.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
81.0ms
(- (/ (+ 4 x) y) (/ z (/ y x)))
26.0ms
(/ (+ 4 x) y)
6.0ms
(/ z (/ y x))

series162.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
80.0ms
(- (/ (+ 4 x) y) (/ z (/ y x)))
47.0ms
(/ (+ 4 x) y)
35.0ms
(/ z (/ y x))

simplify6.3m

Counts
1581 → 863
Calls
1581 calls:
Slowest
971.0ms
(fma (/ (* (cbrt (+ 4 x)) (cbrt (+ 4 x))) 1) (/ (cbrt (+ 4 x)) y) (- (* (/ z (/ (cbrt y) (sqrt x))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt x))))))
953.0ms
(fma (- (/ z (cbrt (/ y x)))) (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x)))) (* (/ z (cbrt (/ y x))) (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x))))))
905.0ms
(fma (/ (sqrt (+ 4 x)) (sqrt y)) (/ (sqrt (+ 4 x)) (sqrt y)) (- (* (/ z (/ (sqrt y) x)) (/ 1 (/ (sqrt y) 1)))))
843.0ms
(fma (/ 1 (* (cbrt y) (cbrt y))) (/ (+ 4 x) (cbrt y)) (- (* (/ (cbrt z) (/ (sqrt y) x)) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) 1)))))
818.0ms
(fma (/ (sqrt (+ 4 x)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ 4 x)) (cbrt y)) (- (* (/ z (/ (sqrt y) (cbrt x))) (/ 1 (/ (sqrt y) (* (cbrt x) (cbrt x)))))))

prune11.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 2 expressions with local error:

3.7b
(/ z (/ y x))
0.1b
(fma (+ 4 x) (/ 1 y) (- (/ z (/ y x))))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
44×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-/r*
7×add-cbrt-cube add-exp-log
5×div-inv
3×cbrt-undiv div-exp associate-/l*
2×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
1×clear-num frac-2neg associate-/r/ fma-udef
Counts
2 → 84
Calls
2 calls:
Slowest
6.0ms
(/ z (/ y x))
0.0ms
(fma (+ 4 x) (/ 1 y) (- (/ z (/ y x))))

series95.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
74.0ms
(fma (+ 4 x) (/ 1 y) (- (/ z (/ y x))))
22.0ms
(/ z (/ y x))

simplify4.3s

Counts
103 → 90
Calls
103 calls:
Slowest
515.0ms
(/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
377.0ms
(/ (* (* z z) z) (* (* (/ y x) (/ y x)) (/ y x)))
226.0ms
(/ (* (cbrt z) (cbrt z)) (/ 1 (* (cbrt x) (cbrt x))))
186.0ms
(/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
185.0ms
(/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt x)))

prune1.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes165.0ms

Accuracy

0% (0.6b remaining)

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

bsearch2.0ms

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.6s10030×body80valid