Details

Time bar (total: 18.3s)

sample49.0ms

Algorithm
intervals
Results
27.0ms256×body80valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5003
61725
5509
4215
3116
252
126
013

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ y (- z (* (/ y 2.0) (/ t z)))))
4.3b
(* (/ y 2.0) (/ t z))
7.0b
(/ y (- z (* (/ y 2.0) (/ t z))))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
79×add-sqr-sqrt
64×*-un-lft-identity
62×add-cube-cbrt
59×times-frac
45×prod-diff
17×add-cbrt-cube add-exp-log
13×associate-*r* associate-*l*
8×associate-/r/
6×div-inv
5×pow1 cbrt-undiv flip3-- div-exp flip-- add-log-exp
4×prod-exp cbrt-unprod unswap-sqr
3×expm1-log1p-u associate-/r* fma-neg insert-posit16 log1p-expm1-u associate-/l*
2×difference-of-squares
1×frac-times clear-num sub-neg frac-2neg diff-log pow-prod-down associate-*l/ associate-*r/ *-commutative distribute-lft-out--
Counts
3 → 151
Calls
3 calls:
23.0ms
(- x (/ y (- z (* (/ y 2.0) (/ t z)))))
35.0ms
(* (/ y 2.0) (/ t z))
9.0ms
(/ y (- z (* (/ y 2.0) (/ t z))))

series431.0ms

Counts
3 → 9
Calls
3 calls:
104.0ms
(- x (/ y (- z (* (/ y 2.0) (/ t z)))))
46.0ms
(* (/ y 2.0) (/ t z))
281.0ms
(/ y (- z (* (/ y 2.0) (/ t z))))

simplify2.2s

Counts
160 → 160
Iterations
IterNodes
done5001
22544
1838
0306

prune996.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 1.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ 1 (/ (- z (* (/ y 2.0) (/ t z))) y)))
1.1b
(/ 1 (/ (- z (* (/ y 2.0) (/ t z))) y))
4.3b
(* (/ y 2.0) (/ t z))
7.0b
(/ (- z (* (/ y 2.0) (/ t z))) y)

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
310×times-frac
244×add-sqr-sqrt
223×*-un-lft-identity
218×add-cube-cbrt
132×prod-diff
29×add-exp-log
23×add-cbrt-cube
21×div-inv
16×associate-/r*
13×associate-*r* associate-*l*
12×div-exp
8×cbrt-undiv
7×pow1
6×associate-/l* add-log-exp
5×difference-of-squares
4×expm1-log1p-u prod-exp associate-/r/ cbrt-unprod insert-posit16 log1p-expm1-u unswap-sqr
3×fma-neg
2×rec-exp clear-num frac-2neg flip3-- 1-exp flip-- distribute-lft-out-- associate-/l/
1×frac-times sub-neg diff-log div-sub pow-prod-down associate-*l/ associate-*r/ *-commutative pow-flip inv-pow
Counts
4 → 322
Calls
4 calls:
43.0ms
(- x (/ 1 (/ (- z (* (/ y 2.0) (/ t z))) y)))
15.0ms
(/ 1 (/ (- z (* (/ y 2.0) (/ t z))) y))
38.0ms
(* (/ y 2.0) (/ t z))
31.0ms
(/ (- z (* (/ y 2.0) (/ t z))) y)

series214.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(- x (/ 1 (/ (- z (* (/ y 2.0) (/ t z))) y)))
64.0ms
(/ 1 (/ (- z (* (/ y 2.0) (/ t z))) y))
39.0ms
(* (/ y 2.0) (/ t z))
62.0ms
(/ (- z (* (/ y 2.0) (/ t z))) y)

simplify2.6s

Counts
334 → 334
Iterations
IterNodes
done5000
24562
11660
0603

prune1.7s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 0.5 (/ t z))
0.0b
(- x (/ 1 (- (/ z y) (* 0.5 (/ t z)))))
1.1b
(/ 1 (- (/ z y) (* 0.5 (/ t z))))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
69×add-sqr-sqrt
61×*-un-lft-identity
57×add-cube-cbrt
48×times-frac prod-diff
13×associate-*r*
12×add-exp-log associate-/r/
10×add-cbrt-cube
6×pow1 div-inv
5×flip3-- associate-*r/ flip-- add-log-exp
4×frac-sub
3×expm1-log1p-u associate-/r* fma-neg div-exp associate-*l* insert-posit16 log1p-expm1-u associate-/l* difference-of-squares
2×cbrt-undiv prod-exp cbrt-unprod distribute-lft-out-- unswap-sqr
1×rec-exp clear-num sub-neg frac-2neg diff-log 1-exp pow-prod-down *-commutative pow-flip inv-pow
Counts
3 → 143
Calls
3 calls:
14.0ms
(* 0.5 (/ t z))
91.0ms
(- x (/ 1 (- (/ z y) (* 0.5 (/ t z)))))
53.0ms
(/ 1 (- (/ z y) (* 0.5 (/ t z))))

series124.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(* 0.5 (/ t z))
59.0ms
(- x (/ 1 (- (/ z y) (* 0.5 (/ t z)))))
29.0ms
(/ 1 (- (/ z y) (* 0.5 (/ t z))))

simplify2.0s

Counts
152 → 152
Iterations
IterNodes
done5003
21760
1694
0273

prune904.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ 1 (- (/ z y) (* (* 0.5 t) (/ 1 z)))))
0.2b
(* (* 0.5 t) (/ 1 z))
1.1b
(/ 1 (- (/ z y) (* (* 0.5 t) (/ 1 z))))

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
64×add-sqr-sqrt
61×*-un-lft-identity
57×add-cube-cbrt
51×prod-diff
47×times-frac
29×add-exp-log
17×add-cbrt-cube
16×associate-/r/
13×associate-*r*
12×prod-exp
9×pow1
8×frac-sub
6×div-exp cbrt-unprod div-inv
5×flip3-- associate-*r/ un-div-inv flip-- add-log-exp
3×expm1-log1p-u cbrt-undiv rec-exp associate-/r* fma-neg 1-exp pow-prod-down insert-posit16 log1p-expm1-u associate-/l* difference-of-squares
2×distribute-lft-out--
1×clear-num sub-neg frac-2neg diff-log associate-*l* *-commutative pow-flip inv-pow
Counts
3 → 153
Calls
3 calls:
68.0ms
(- x (/ 1 (- (/ z y) (* (* 0.5 t) (/ 1 z)))))
23.0ms
(* (* 0.5 t) (/ 1 z))
37.0ms
(/ 1 (- (/ z y) (* (* 0.5 t) (/ 1 z))))

series124.0ms

Counts
3 → 9
Calls
3 calls:
52.0ms
(- x (/ 1 (- (/ z y) (* (* 0.5 t) (/ 1 z)))))
35.0ms
(* (* 0.5 t) (/ 1 z))
37.0ms
(/ 1 (- (/ z y) (* (* 0.5 t) (/ 1 z))))

simplify2.1s

Counts
162 → 162
Iterations
IterNodes
done5001
21904
1779
0289

prune850.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes323.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done15
115
012

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s8000×body80valid