Details

Time bar (total: 9.9s)

sample21.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 6 (886.0ms)

IterNodesCost
01317
12517
25917
313217
435317
575115
6265913
done500013

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
26×*-un-lft-identity
24×times-frac
14×add-cube-cbrt
12×difference-of-squares
7×add-log-exp
6×associate-/r* distribute-lft-out--
5×add-exp-log add-cbrt-cube
3×pow1 flip3-- associate-/r/ flip-- associate-/l*
2×sub-neg diff-log frac-sub
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
3 → 73
Calls
3 calls:
34.0ms
(- x (/ 2.0 (- (/ (* z 2.0) y) (/ t z))))
11.0ms
(- (/ (* z 2.0) y) (/ t z))
24.0ms
(/ 2.0 (- (/ (* z 2.0) y) (/ t z)))

series86.0ms

Counts
3 → 9
Calls
3 calls:
29.0ms
(- x (/ 2.0 (- (/ (* z 2.0) y) (/ t z))))
29.0ms
(- (/ (* z 2.0) y) (/ t z))
27.0ms
(/ 2.0 (- (/ (* z 2.0) y) (/ t z)))

simplify746.0ms

Counts
82 → 82
Iterations

Useful iterations: done (743.0ms)

IterNodesCost
01311458
12671401
26631335
318281333
done50021332

prune204.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* z 2.0) y) (/ t z))
0.0b
(- x (* (sqrt 2.0) (/ (sqrt 2.0) (- (/ (* z 2.0) y) (/ t z)))))
0.4b
(* (sqrt 2.0) (/ (sqrt 2.0) (- (/ (* z 2.0) y) (/ t z))))
0.6b
(/ (sqrt 2.0) (- (/ (* z 2.0) y) (/ t z)))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
132×add-sqr-sqrt
90×times-frac
74×*-un-lft-identity
47×sqrt-prod
46×add-cube-cbrt
43×associate-*r*
28×difference-of-squares
14×distribute-lft-out--
11×add-exp-log add-cbrt-cube
8×add-log-exp
6×pow1 associate-*l* associate-/r* associate-/r/ associate-/l* unswap-sqr
4×flip3-- flip--
3×frac-sub
2×cbrt-undiv sub-neg diff-log div-exp prod-exp cbrt-unprod div-inv
1×frac-2neg associate-*r/ pow-prod-down clear-num *-commutative
Counts
4 → 160
Calls
4 calls:
13.0ms
(- (/ (* z 2.0) y) (/ t z))
2.0ms
(- x (* (sqrt 2.0) (/ (sqrt 2.0) (- (/ (* z 2.0) y) (/ t z)))))
56.0ms
(* (sqrt 2.0) (/ (sqrt 2.0) (- (/ (* z 2.0) y) (/ t z))))
21.0ms
(/ (sqrt 2.0) (- (/ (* z 2.0) y) (/ t z)))

series285.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(- (/ (* z 2.0) y) (/ t z))
94.0ms
(- x (* (sqrt 2.0) (/ (sqrt 2.0) (- (/ (* z 2.0) y) (/ t z)))))
101.0ms
(* (sqrt 2.0) (/ (sqrt 2.0) (- (/ (* z 2.0) y) (/ t z))))
58.0ms
(/ (sqrt 2.0) (- (/ (* z 2.0) y) (/ t z)))

simplify729.0ms

Counts
172 → 172
Iterations

Useful iterations: 2 (270.0ms)

IterNodesCost
01963410
14373056
214172880
done50012880

prune387.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (* (sqrt 2.0) (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z))))))
0.2b
(* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z))))
0.4b
(* (sqrt 2.0) (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z)))))
0.5b
(/ (sqrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z)))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
196×add-sqr-sqrt
150×sqrt-prod
136×times-frac
106×*-un-lft-identity
68×add-cube-cbrt
62×associate-*r*
38×difference-of-squares
20×add-exp-log add-cbrt-cube
19×distribute-lft-out--
15×associate-*l*
12×unswap-sqr
11×pow1
9×associate-/l*
7×prod-exp cbrt-unprod
6×associate-/r* associate-/r/ add-log-exp
4×pow-prod-down
3×cbrt-undiv flip3-- associate-*r/ div-exp flip--
2×*-commutative frac-sub div-inv
1×sub-neg frac-2neg diff-log clear-num
Counts
4 → 216
Calls
4 calls:
2.0ms
(- x (* (sqrt 2.0) (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z))))))
66.0ms
(* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z))))
59.0ms
(* (sqrt 2.0) (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z)))))
23.0ms
(/ (sqrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z)))

series366.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(- x (* (sqrt 2.0) (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z))))))
60.0ms
(* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z))))
108.0ms
(* (sqrt 2.0) (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z)))))
99.0ms
(/ (sqrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z)))

simplify1.0s

Counts
228 → 228
Iterations

Useful iterations: 2 (545.0ms)

IterNodesCost
02405351
15444664
217244170
done50004170

prune526.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* z 2.0) y) (/ t z))
0.2b
(* (* (sqrt 2.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z))))
0.4b
(/ (cbrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z)))
1.0b
(* (sqrt 2.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
167×add-sqr-sqrt
128×times-frac
105×*-un-lft-identity
78×cbrt-prod
65×add-cube-cbrt
62×associate-*r*
43×sqrt-prod
40×difference-of-squares
32×add-exp-log
22×add-cbrt-cube
20×pow1 distribute-lft-out--
15×prod-exp cbrt-unprod
9×pow-prod-down associate-/l*
7×associate-*l*
6×associate-/r* associate-/r/ add-log-exp
4×cbrt-undiv pow1/3 div-exp
3×flip3-- pow-prod-up frac-sub flip--
2×*-commutative div-inv unswap-sqr
1×sub-neg frac-2neg diff-log associate-*r/ clear-num pow-sqr
Counts
4 → 211
Calls
4 calls:
12.0ms
(- (/ (* z 2.0) y) (/ t z))
87.0ms
(* (* (sqrt 2.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z))))
25.0ms
(/ (cbrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z)))
14.0ms
(* (sqrt 2.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))

series326.0ms

Counts
4 → 10
Calls
4 calls:
29.0ms
(- (/ (* z 2.0) y) (/ t z))
111.0ms
(* (* (sqrt 2.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z))))
186.0ms
(/ (cbrt (sqrt 2.0)) (- (/ (* z 2.0) y) (/ t z)))
0.0ms
(* (sqrt 2.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))

simplify1.3s

Counts
221 → 221
Iterations

Useful iterations: 2 (599.0ms)

IterNodesCost
02545200
16764715
227524188
done50014188

prune573.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes177.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
11213
done1213

end0.0ms

sample523.0ms

Algorithm
intervals
Results
320.0ms8000×body80valid