Details

Time bar (total: 13.9s)

sample28.0ms

Algorithm
intervals
Results
12.0ms341×body80valid

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
08164
115139
233139
363139
4109139
5161139
6209139
7248139
8493139
91398139
done5000139

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.7b

localize15.0ms

Local error

Found 1 expressions with local error:

6.9b
(* (/ x y) (- z t))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
23×*-un-lft-identity
21×add-cube-cbrt
18×prod-diff
13×associate-*l*
11×distribute-rgt-in distribute-lft-in
10×times-frac
6×add-cbrt-cube add-exp-log
5×associate-*r*
3×pow1
2×frac-times sub-neg flip3-- prod-exp associate-*r/ cbrt-unprod flip-- unswap-sqr
1×expm1-log1p-u cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative log1p-expm1-u div-inv distribute-lft-out-- add-log-exp difference-of-squares
Counts
1 → 62
Calls
1 calls:
29.0ms
(* (/ x y) (- z t))

series76.0ms

Counts
1 → 3
Calls
1 calls:
76.0ms
(* (/ x y) (- z t))

simplify1.6s

Counts
65 → 65
Iterations

Useful iterations: done (1.6s)

IterNodesCost
014921295
141218792
2216015227
done500015067

prune308.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
0.8b
(* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
73×add-exp-log
44×distribute-rgt-in distribute-lft-in
39×add-cbrt-cube
37×prod-exp cbrt-unprod
36×prod-diff
32×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
17×cbrt-undiv div-exp
9×cbrt-prod frac-times pow1 associate-*r/
5×associate-*l*
4×expm1-log1p-u sub-neg flip3-- log1p-expm1-u flip-- add-log-exp
3×pow1/3 pow-prod-down associate-*l/
1×times-frac associate-*r* *-commutative div-inv
Counts
4 → 142
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
125.0ms
(* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))

series836.0ms

Counts
4 → 12
Calls
4 calls:
276.0ms
(cbrt x)
241.0ms
(cbrt x)
236.0ms
(cbrt x)
82.0ms
(* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))

simplify1.4s

Counts
154 → 154
Iterations

Useful iterations: done (1.3s)

IterNodesCost
027095818
197777590
done500069844

prune861.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 1 expressions with local error:

6.9b
(* (- z t) (/ x y))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
13×associate-*r*
11×*-un-lft-identity
10×times-frac
9×add-cube-cbrt
6×add-cbrt-cube add-exp-log
5×associate-*l*
3×pow1
2×frac-times flip3-- associate-*l/ prod-exp cbrt-unprod flip-- unswap-sqr
1×expm1-log1p-u cbrt-undiv div-exp pow-prod-down associate-*r/ *-commutative log1p-expm1-u div-inv distribute-lft-out-- add-log-exp difference-of-squares
Counts
1 → 40
Calls
1 calls:
33.0ms
(* (- z t) (/ x y))

series66.0ms

Counts
1 → 3
Calls
1 calls:
66.0ms
(* (- z t) (/ x y))

simplify1.2s

Counts
43 → 43
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0989948
12548907
212868745
done50028345

prune217.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.0b
(/ (* (* (cbrt x) (- z t)) (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y)))) (cbrt y))
1.3b
(* (* (cbrt x) (- z t)) (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
98×add-exp-log
46×prod-exp cbrt-unprod
45×add-cbrt-cube
28×associate-*r/
27×cbrt-undiv div-exp
18×frac-times
16×pow1
12×cbrt-prod
11×associate-/l/
10×add-sqr-sqrt *-un-lft-identity associate-*l/ add-cube-cbrt
8×flip3-- pow-prod-down flip--
6×associate-/r* times-frac
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×pow1/3
1×clear-num frac-2neg associate-*r* associate-*l* *-commutative div-inv associate-/l*
Counts
4 → 131
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
79.0ms
(/ (* (* (cbrt x) (- z t)) (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y)))) (cbrt y))
67.0ms
(* (* (cbrt x) (- z t)) (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))))

series631.0ms

Counts
4 → 12
Calls
4 calls:
192.0ms
(cbrt x)
195.0ms
(cbrt x)
53.0ms
(/ (* (* (cbrt x) (- z t)) (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y)))) (cbrt y))
192.0ms
(* (* (cbrt x) (- z t)) (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))))

simplify1.8s

Counts
143 → 143
Iterations

Useful iterations: done (1.7s)

IterNodesCost
020760663
163353722
2295051884
done500149324

prune669.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes432.0ms

Accuracy

11.9% (1.8b remaining)

Error of 1.8b against oracle of 0.0b and baseline of 2.1b

bsearch1.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
014415
118415
done18415

end0.0ms

sample817.0ms

Algorithm
intervals
Results
429.0ms10751×body80valid