Details

Time bar (total: 17.8s)

sample57.0ms

Algorithm
intervals
Results
37.0ms256×body80valid

simplify1.5s

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

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.7b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ y (- z (* (/ y 2.0) (/ t z)))))
0.0b
(- z (* (/ y 2.0) (/ t z)))
3.9b
(* (/ y 2.0) (/ t z))
6.1b
(/ y (- z (* (/ y 2.0) (/ t z))))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
82×add-sqr-sqrt
67×*-un-lft-identity
65×add-cube-cbrt
59×times-frac
48×prod-diff
18×add-cbrt-cube add-exp-log
13×associate-*r* associate-*l*
8×associate-/r/ add-log-exp
6×pow1 flip3-- fma-neg div-inv flip--
5×cbrt-undiv div-exp
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u unswap-sqr
3×associate-/r* associate-/l*
2×sub-neg diff-log difference-of-squares
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative distribute-lft-out--
Counts
4 → 172
Calls
4 calls:
18.0ms
(- x (/ y (- z (* (/ y 2.0) (/ t z)))))
6.0ms
(- z (* (/ y 2.0) (/ t z)))
20.0ms
(* (/ y 2.0) (/ t z))
11.0ms
(/ y (- z (* (/ y 2.0) (/ t z))))

series377.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(- x (/ y (- z (* (/ y 2.0) (/ t z)))))
43.0ms
(- z (* (/ y 2.0) (/ t z)))
31.0ms
(* (/ y 2.0) (/ t z))
220.0ms
(/ y (- z (* (/ y 2.0) (/ t z))))

simplify2.0s

Counts
184 → 184
Iterations
IterNodes
done5001
22784
1877
0321

prune990.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.7b

localize40.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ y 2.0))
1.4b
(* (cbrt (/ y 2.0)) (/ t z))
2.7b
(* (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (/ t z)))
6.1b
(/ y (- z (* (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (/ t z)))))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
41×times-frac
34×*-un-lft-identity add-cube-cbrt
32×add-exp-log
30×cbrt-prod
27×cbrt-div
20×add-cbrt-cube
18×frac-times pow1
17×associate-*l*
15×prod-exp cbrt-unprod
14×associate-*r*
12×associate-*l/ associate-*r/
9×pow-prod-down
6×unswap-sqr
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u div-inv add-log-exp
3×associate-/r* associate-/l*
2×associate-/r/ *-commutative
1×clear-num frac-2neg flip3-- pow1/3 flip--
Counts
4 → 155
Calls
4 calls:
2.0ms
(cbrt (/ y 2.0))
17.0ms
(* (cbrt (/ y 2.0)) (/ t z))
61.0ms
(* (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (/ t z)))
11.0ms
(/ y (- z (* (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (/ t z)))))

series967.0ms

Counts
4 → 12
Calls
4 calls:
278.0ms
(cbrt (/ y 2.0))
220.0ms
(* (cbrt (/ y 2.0)) (/ t z))
117.0ms
(* (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (/ t z)))
351.0ms
(/ y (- z (* (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (/ t z)))))

simplify1.4s

Counts
167 → 167
Iterations
IterNodes
done5002
22225
1673
0261

prune862.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.7b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ y (- z (* (* (/ y 2.0) t) (/ 1 z)))))
0.0b
(- z (* (* (/ y 2.0) t) (/ 1 z)))
4.4b
(* (* (/ y 2.0) t) (/ 1 z))
6.1b
(/ y (- z (* (* (/ y 2.0) t) (/ 1 z))))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
63×add-sqr-sqrt
60×*-un-lft-identity
58×add-cube-cbrt
48×prod-diff
46×times-frac
45×add-exp-log
27×add-cbrt-cube
20×prod-exp
13×associate-*r*
11×div-exp
10×cbrt-unprod
9×pow1
8×associate-/r/ add-log-exp
6×cbrt-undiv flip3-- fma-neg flip--
5×div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×rec-exp associate-/r* 1-exp pow-prod-down associate-*l/ associate-/l*
2×sub-neg diff-log difference-of-squares
1×frac-times clear-num frac-2neg associate-*l* associate-*r/ un-div-inv *-commutative distribute-lft-out--
Counts
4 → 168
Calls
4 calls:
25.0ms
(- x (/ y (- z (* (* (/ y 2.0) t) (/ 1 z)))))
5.0ms
(- z (* (* (/ y 2.0) t) (/ 1 z)))
26.0ms
(* (* (/ y 2.0) t) (/ 1 z))
8.0ms
(/ y (- z (* (* (/ y 2.0) t) (/ 1 z))))

series460.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(- x (/ y (- z (* (* (/ y 2.0) t) (/ 1 z)))))
84.0ms
(- z (* (* (/ y 2.0) t) (/ 1 z)))
33.0ms
(* (* (/ y 2.0) t) (/ 1 z))
217.0ms
(/ y (- z (* (* (/ y 2.0) t) (/ 1 z))))

simplify2.5s

Counts
180 → 180
Iterations
IterNodes
done5000
22694
1837
0317

prune965.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.7b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
0.5b
(- (* (* z 2.0) z) (* y t))
19.8b
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

rewrite151.0ms

Algorithm
rewrite-expression-head
Rules
28×prod-diff
23×add-sqr-sqrt *-un-lft-identity
21×add-cube-cbrt
12×times-frac add-cbrt-cube add-exp-log
8×associate-/r/
7×add-log-exp
6×flip3-- flip--
4×fma-neg div-inv
3×expm1-log1p-u pow1 cbrt-undiv associate-/r* div-exp prod-exp cbrt-unprod insert-posit16 log1p-expm1-u
2×sub-neg diff-log
1×clear-num frac-2neg associate-/l* distribute-lft-out-- difference-of-squares
Counts
3 → 92
Calls
3 calls:
68.0ms
(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
28.0ms
(- (* (* z 2.0) z) (* y t))
54.0ms
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

series387.0ms

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

simplify2.1s

Counts
101 → 101
Iterations
IterNodes
done5001
21899
1527
0191

prune631.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.7b

regimes392.0ms

Accuracy

0% (0.7b remaining)

Error of 1.2b against oracle of 0.5b and baseline of 1.2b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done16
116
014

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.2s8000×body80valid