Details

Time bar (total: 49.7s)

sample65.0ms

Algorithm
intervals
Results
45.0ms334×body80valid

simplify66.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.5b

localize33.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
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
41.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
26.0ms
(/ (+ x 4) y)
9.0ms
(* (/ x y) z)

series128.0ms

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

simplify5.2s

Counts
108 → 91
Calls
108 calls:
Slowest
325.0ms
(* (* (/ (+ x 4) y) (/ (+ x 4) y)) (/ (+ x 4) y))
293.0ms
(* (* (* (/ x y) z) (* (/ x y) z)) (* (/ x y) z))
291.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))
289.0ms
(* (* (* (/ x y) (/ x y)) (/ x y)) (* (* z z) z))
280.0ms
(exp (- (/ (+ x 4) y) (* (/ x y) z)))

prune949.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize19.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)

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
25×add-sqr-sqrt
22×times-frac
20×add-cube-cbrt
13×associate-*r*
10×add-cbrt-cube add-exp-log
5×pow1 add-log-exp
4×distribute-lft-out associate-/l*
3×associate-/r* associate-*l* associate-*r/ 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
49.0ms
(- (/ (+ x 4) y) (* x (/ z y)))
17.0ms
(* x (/ z y))
16.0ms
(/ (+ x 4) y)

series116.0ms

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

simplify6.0s

Counts
108 → 91
Calls
108 calls:
Slowest
632.0ms
(- (* (/ (+ x 4) y) (/ (+ x 4) y)) (* (* x (/ z y)) (* x (/ z y))))
297.0ms
(exp (- (/ (+ x 4) y) (* x (/ z y))))
281.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))
279.0ms
(* (* (* x (/ z y)) (* x (/ z y))) (* x (/ z y)))
277.0ms
(/ (exp (/ (+ x 4) y)) (exp (* x (/ z y))))

prune854.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 3 expressions with local error:

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

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
27×*-un-lft-identity add-exp-log
21×times-frac
19×add-sqr-sqrt add-cube-cbrt
17×add-cbrt-cube
13×associate-*r*
12×prod-exp
8×pow1
6×cbrt-unprod
5×div-exp add-log-exp
4×distribute-lft-out associate-/l*
3×cbrt-undiv associate-/r* pow-prod-down associate-*r/ un-div-inv insert-posit16 div-inv
2×rec-exp 1-exp frac-sub sub-div associate-/l/
1×clear-num sub-neg frac-2neg flip3-+ flip3-- distribute-rgt-out-- diff-log associate-*l* *-commutative flip-+ flip--
Counts
3 → 91
Calls
3 calls:
Slowest
44.0ms
(- (/ (+ x 4) y) (* (* x z) (/ 1 y)))
29.0ms
(* (* x z) (/ 1 y))
26.0ms
(/ (+ x 4) y)

series141.0ms

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

simplify10.4s

Counts
115 → 100
Calls
115 calls:
Slowest
771.0ms
(* (* (* (* x x) x) (* (* z z) z)) (* (* (/ 1 y) (/ 1 y)) (/ 1 y)))
426.0ms
(* (* (- (/ (+ x 4) y) (* (* x z) (/ 1 y))) (- (/ (+ x 4) y) (* (* x z) (/ 1 y)))) (- (/ (+ x 4) y) (* (* x z) (/ 1 y))))
359.0ms
(* (cbrt (- (/ (+ x 4) y) (* (* x z) (/ 1 y)))) (cbrt (- (/ (+ x 4) y) (* (* x z) (/ 1 y)))))
349.0ms
(- (* (+ x 4) y) (* y (* (* x z) 1)))
346.0ms
(exp (- (/ (+ x 4) y) (* (* x z) (/ 1 y))))

prune1.0s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

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

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
98×times-frac
83×add-sqr-sqrt
64×*-un-lft-identity
54×add-cube-cbrt
16×associate-/r*
10×add-cbrt-cube add-exp-log difference-of-squares
7×associate-/l*
6×unpow-prod-down div-inv
5×add-log-exp
4×cbrt-undiv div-exp distribute-lft-out
3×pow1 insert-posit16
2×clear-num frac-2neg sqr-pow associate-/l/
1×sub-neg flip3-+ flip3-- diff-log associate-/r/ flip-+ flip-- distribute-lft-out--
Counts
3 → 129
Calls
3 calls:
Slowest
52.0ms
(- (/ (+ x 4) y) (pow (/ x (/ y z)) 1))
17.0ms
(/ (+ x 4) y)
11.0ms
(/ x (/ y z))

series144.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
83.0ms
(- (/ (+ x 4) y) (pow (/ x (/ y z)) 1))
35.0ms
(/ (+ x 4) y)
26.0ms
(/ x (/ y z))

simplify20.6s

Counts
203 → 138
Calls
203 calls:
Slowest
701.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))
575.0ms
(* (cbrt (- (/ (+ x 4) y) (pow (/ x (/ y z)) 1))) (cbrt (- (/ (+ x 4) y) (pow (/ x (/ y z)) 1))))
574.0ms
(real->posit16 (- (/ (+ x 4) y) (pow (/ x (/ y z)) 1)))
529.0ms
(sqrt (- (/ (+ x 4) y) (pow (/ x (/ y z)) 1)))
503.0ms
(sqrt (- (/ (+ x 4) y) (pow (/ x (/ y z)) 1)))

prune1.7s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.0b

regimes276.0ms

Accuracy

76.2% (0.7b remaining)

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

bsearch109.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s10143×body80valid