Details

Time bar (total: 16.0s)

sample30.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify887.0ms

Counts
1 → 1
Iterations

Useful iterations: 5 (360.0ms)

IterNodesCost
01317
12517
26017
314217
435117
5162115
done500115

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.6b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ z 1) (/ (/ (* y t) z) 2.0))
0.0b
(- x (/ y (- (/ z 1) (/ (/ (* y t) z) 2.0))))
4.6b
(/ (* y t) z)
5.9b
(/ y (- (/ z 1) (/ (/ (* y t) z) 2.0)))

rewrite345.0ms

Algorithm
rewrite-expression-head
Rules
112×add-sqr-sqrt
82×times-frac
64×*-un-lft-identity
32×difference-of-squares
22×add-cube-cbrt
14×associate-/r*
11×add-exp-log add-cbrt-cube distribute-lft-out--
8×add-log-exp
4×pow1 associate-/l*
3×cbrt-undiv flip3-- div-exp associate-/r/ flip--
2×sub-neg frac-2neg diff-log clear-num frac-sub div-inv
1×prod-exp cbrt-unprod
Counts
4 → 119
Calls
4 calls:
71.0ms
(- (/ z 1) (/ (/ (* y t) z) 2.0))
171.0ms
(- x (/ y (- (/ z 1) (/ (/ (* y t) z) 2.0))))
19.0ms
(/ (* y t) z)
74.0ms
(/ y (- (/ z 1) (/ (/ (* y t) z) 2.0)))

series370.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(- (/ z 1) (/ (/ (* y t) z) 2.0))
90.0ms
(- x (/ y (- (/ z 1) (/ (/ (* y t) z) 2.0))))
21.0ms
(/ (* y t) z)
215.0ms
(/ y (- (/ z 1) (/ (/ (* y t) z) 2.0)))

simplify1.0s

Counts
131 → 131
Iterations

Useful iterations: done (1.0s)

IterNodesCost
02142539
14582129
221082043
done50002041

prune406.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ z 1) (/ (/ y (/ z t)) 2.0))
0.0b
(- x (/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0))))
4.7b
(/ y (/ z t))
5.9b
(/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0)))

rewrite883.0ms

Algorithm
rewrite-expression-head
Rules
303×add-sqr-sqrt
267×times-frac
120×*-un-lft-identity
68×add-cube-cbrt
62×difference-of-squares
30×associate-/r*
11×add-exp-log add-cbrt-cube distribute-lft-out--
8×add-log-exp
6×div-inv associate-/l*
4×pow1 cbrt-undiv div-exp associate-/r/
3×flip3-- flip--
2×sub-neg frac-2neg diff-log clear-num frac-sub
Counts
4 → 198
Calls
4 calls:
177.0ms
(- (/ z 1) (/ (/ y (/ z t)) 2.0))
429.0ms
(- x (/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0))))
9.0ms
(/ y (/ z t))
254.0ms
(/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0)))

series438.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(- (/ z 1) (/ (/ y (/ z t)) 2.0))
131.0ms
(- x (/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0))))
28.0ms
(/ y (/ z t))
217.0ms
(/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0)))

simplify1.5s

Counts
210 → 210
Iterations

Useful iterations: 2 (604.0ms)

IterNodesCost
03584214
17653636
232423520
done50013520

prune713.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
2.7b
(/ (cbrt y) (- z (/ (/ y (/ z t)) 2.0)))
3.4b
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- z (/ (/ y (/ z t)) 2.0))))
4.7b
(/ y (/ z t))

rewrite642.0ms

Algorithm
rewrite-expression-head
Rules
282×add-sqr-sqrt
251×times-frac
121×*-un-lft-identity
95×add-cube-cbrt
55×cbrt-prod
54×associate-*r*
52×difference-of-squares
23×add-exp-log
21×associate-/r*
16×add-cbrt-cube
13×distribute-lft-out--
9×pow1 associate-/l*
7×div-inv
6×cbrt-undiv div-exp prod-exp cbrt-unprod
5×associate-/r/
4×add-log-exp
3×pow-prod-down unswap-sqr
2×flip3-- frac-2neg clear-num flip--
1×pow1/3 associate-*r/ associate-*l* *-commutative
Counts
4 → 234
Calls
4 calls:
2.0ms
(cbrt y)
196.0ms
(/ (cbrt y) (- z (/ (/ y (/ z t)) 2.0)))
397.0ms
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- z (/ (/ y (/ z t)) 2.0))))
18.0ms
(/ y (/ z t))

series1.2s

Counts
4 → 12
Calls
4 calls:
250.0ms
(cbrt y)
634.0ms
(/ (cbrt y) (- z (/ (/ y (/ z t)) 2.0)))
308.0ms
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- z (/ (/ y (/ z t)) 2.0))))
45.0ms
(/ y (/ z t))

simplify847.0ms

Counts
246 → 246
Iterations

Useful iterations: done (832.0ms)

IterNodesCost
03604551
110144407
done50014132

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

1.6b
(/ (cbrt y) (/ z t))
2.7b
(/ (cbrt y) (- z (/ (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z t))) 2.0)))
3.4b
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- z (/ (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z t))) 2.0))))
3.4b
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z t)))

rewrite249.0ms

Algorithm
rewrite-expression-head
Rules
341×times-frac
228×add-sqr-sqrt
212×*-un-lft-identity
186×add-cube-cbrt
119×associate-*r*
117×cbrt-prod
44×add-exp-log
25×add-cbrt-cube
18×associate-/r*
17×div-inv
15×prod-exp cbrt-unprod
14×pow1
13×distribute-lft-out-- difference-of-squares
12×cbrt-undiv div-exp associate-/l*
8×unswap-sqr
6×pow-prod-down associate-/r/
4×add-log-exp
2×flip3-- frac-2neg associate-*r/ associate-*l* clear-num *-commutative flip--
Counts
4 → 338
Calls
4 calls:
19.0ms
(/ (cbrt y) (/ z t))
17.0ms
(/ (cbrt y) (- z (/ (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z t))) 2.0)))
75.0ms
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- z (/ (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z t))) 2.0))))
117.0ms
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z t)))

series1.3s

Counts
4 → 12
Calls
4 calls:
159.0ms
(/ (cbrt y) (/ z t))
706.0ms
(/ (cbrt y) (- z (/ (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z t))) 2.0)))
379.0ms
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- z (/ (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z t))) 2.0))))
71.0ms
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z t)))

simplify1.3s

Counts
350 → 350
Iterations

Useful iterations: done (1.3s)

IterNodesCost
04417141
114946834
done50016308

prune1.3s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes173.0ms

Accuracy

0% (0.5b remaining)

Error of 1.0b against oracle of 0.6b and baseline of 1.0b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01315
11513
done1513

end0.0ms

sample1.1s

Algorithm
intervals
Results
672.0ms8000×body80valid