Details

Time bar (total: 6.9m)

sample62.0ms

Algorithm
intervals
Results
43.0ms322×body80valid

simplify110.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.9b

localize30.0ms

Local error

Found 3 expressions with local error:

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

rewrite75.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
51.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
13.0ms
(/ (+ x 4) y)
9.0ms
(* (/ x y) z)

series116.0ms

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

simplify6.4s

Counts
115 → 129
Calls
115 calls:
Slowest
389.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))
300.0ms
(- (* (+ x 4) y) (* y (* x z)))
289.0ms
(fma (/ 1 (sqrt y)) (/ (+ x 4) (sqrt y)) (- (* z (/ x y))))
247.0ms
(fma (/ 1 (sqrt y)) (/ (+ x 4) (sqrt y)) (- (* z (/ x y))))
230.0ms
(/ (exp (/ (+ x 4) y)) (exp (* (/ x y) z)))

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite103.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
96.0ms
(* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (* (/ (cbrt x) (cbrt y)) z))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series770.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
263.0ms
(cbrt x)
249.0ms
(cbrt x)
232.0ms
(cbrt x)
27.0ms
(* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (* (/ (cbrt x) (cbrt y)) z))

simplify12.0s

Counts
66 → 108
Calls
66 calls:
Slowest
547.0ms
(+ (log (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log z)))
500.0ms
(+ (+ (log (/ (cbrt x) (cbrt y))) (log (/ (cbrt x) (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log z)))
445.0ms
(+ (+ (log (/ (cbrt x) (cbrt y))) (log (/ (cbrt x) (cbrt y)))) (log (* (/ (cbrt x) (cbrt y)) z)))
413.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)))
394.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)))

prune1.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
37×times-frac
31×add-sqr-sqrt
26×add-cube-cbrt
13×fma-def associate-*l*
12×distribute-lft-out
10×add-log-exp
8×add-cbrt-cube fma-neg prod-diff add-exp-log div-inv
5×pow1
4×associate-*l/
3×expm1-log1p-u distribute-rgt-out associate-*r* frac-sub insert-posit16 log1p-expm1-u
2×sum-log flip3-+ diff-log frac-add prod-exp cbrt-unprod flip-+ unswap-sqr
1×cbrt-undiv +-commutative sub-neg flip3-- div-exp pow-prod-down associate--l+ *-commutative flip--
Counts
3 → 104
Calls
3 calls:
Slowest
130.0ms
(- (+ (/ x y) (/ 4 y)) (* (/ x y) z))
13.0ms
(+ (/ x y) (/ 4 y))
10.0ms
(* (/ x y) z)

series134.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
69.0ms
(- (+ (/ x y) (/ 4 y)) (* (/ x y) z))
38.0ms
(+ (/ x y) (/ 4 y))
27.0ms
(* (/ x y) z)

simplify5.8s

Counts
86 → 113
Calls
86 calls:
Slowest
481.0ms
(/ (exp (+ (/ x y) (/ 4 y))) (exp (* (/ x y) z)))
466.0ms
(/ (* (exp (/ x y)) (exp (/ 4 y))) (exp (* (/ x y) z)))
427.0ms
(- (* (+ (* x y) (* y 4)) y) (* (* y y) (* x z)))
379.0ms
(fma (/ 1 (* (cbrt y) (cbrt y))) (+ (/ x (cbrt y)) (/ 4 (cbrt y))) (- (* z (/ x y))))
360.0ms
(- (* (- (* (/ x y) (/ x y)) (* (/ 4 y) (/ 4 y))) y) (* (- (/ x y) (/ 4 y)) (* x z)))

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 3 expressions with local error:

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

rewrite110.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
43.0ms
(- (/ (+ 4 x) y) (/ z (/ y x)))
13.0ms
(/ (+ 4 x) y)
6.0ms
(/ z (/ y x))

series107.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
52.0ms
(- (/ (+ 4 x) y) (/ z (/ y x)))
28.0ms
(/ z (/ y x))
27.0ms
(/ (+ 4 x) y)

simplify6.2m

Counts
1581 → 863
Calls
1581 calls:
Slowest
904.0ms
(fma (- (/ z (cbrt (/ y x)))) (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x)))) (* (/ z (cbrt (/ y x))) (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x))))))
900.0ms
(fma (/ 1 (sqrt y)) (/ (+ 4 x) (sqrt y)) (- (* (/ (cbrt z) (/ y (sqrt x))) (/ (* (cbrt z) (cbrt z)) (/ 1 (sqrt x))))))
834.0ms
(fma (/ (sqrt (+ 4 x)) (sqrt y)) (/ (sqrt (+ 4 x)) (sqrt y)) (- (* (/ z (/ (sqrt y) (cbrt x))) (/ 1 (/ (sqrt y) (* (cbrt x) (cbrt x)))))))
811.0ms
(fma 1 (/ (+ 4 x) y) (- (* (/ (sqrt z) (/ (cbrt y) x)) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) 1)))))
780.0ms
(fma (/ (* (cbrt (+ 4 x)) (cbrt (+ 4 x))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ 4 x)) (cbrt y)) (- (* (/ (cbrt z) (/ 1 x)) (/ (* (cbrt z) (cbrt z)) y))))

prune11.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes127.0ms

Accuracy

0% (1.6b remaining)

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

bsearch2.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.7s10141×body80valid