Details

Time bar (total: 15.8s)

sample19.0ms

Algorithm
intervals
Results
8.0ms262×body80valid

simplify12.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
1107
2177
3217
done217

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize14.0ms

Local error

Found 1 expressions with local error:

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

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
3×add-exp-log associate-/r* add-cbrt-cube associate-/l*
2×associate-/r/
1×pow1 cbrt-undiv expm1-log1p-u flip3-- frac-2neg div-exp clear-num flip-- log1p-expm1-u div-inv add-log-exp
Counts
1 → 31
Calls
1 calls:
21.0ms
(/ x (- y (* z t)))

series80.0ms

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

simplify3.3s

Counts
34 → 34
Iterations

Useful iterations: 4 (1.3s)

IterNodesCost
065394
1136385
2339357
3867356
42335355
done5001355

prune113.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 3.9b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
76×times-frac
47×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
36×cbrt-prod
28×associate-/r*
18×add-exp-log
11×add-cbrt-cube
7×cbrt-undiv div-exp
4×pow1 expm1-log1p-u log1p-expm1-u div-inv associate-/l* add-log-exp
2×frac-2neg pow1/3 prod-exp clear-num cbrt-unprod associate-/l/
1×flip3-- div-sub associate-/r/ flip--
Counts
4 → 136
Calls
4 calls:
2.0ms
(cbrt x)
2.0ms
(cbrt x)
22.0ms
(/ (- y (* z t)) (cbrt x))
35.0ms
(/ (* (cbrt x) (cbrt x)) (/ (- y (* z t)) (cbrt x)))

series1.1s

Counts
4 → 12
Calls
4 calls:
319.0ms
(cbrt x)
346.0ms
(cbrt x)
282.0ms
(/ (- y (* z t)) (cbrt x))
108.0ms
(/ (* (cbrt x) (cbrt x)) (/ (- y (* z t)) (cbrt x)))

simplify1.6s

Counts
148 → 148
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01922225
14612113
218561812
done50001742

prune601.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 3.9b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
18×times-frac
16×*-un-lft-identity
14×add-exp-log cbrt-prod associate-/r*
12×add-cube-cbrt
10×add-cbrt-cube
6×div-inv difference-of-squares
4×pow1 cbrt-undiv expm1-log1p-u div-exp associate-/r/ log1p-expm1-u add-log-exp
2×distribute-rgt-out-- frac-2neg pow1/3 prod-exp clear-num cbrt-unprod associate-/l* distribute-lft-out--
1×flip3-- frac-sub flip-- sub-div
Counts
4 → 92
Calls
4 calls:
1.0ms
(cbrt x)
2.0ms
(cbrt x)
116.0ms
(/ (* (cbrt x) (cbrt x)) (- (/ y (cbrt x)) (/ (* z t) (cbrt x))))
15.0ms
(/ (* z t) (cbrt x))

series1.1s

Counts
4 → 12
Calls
4 calls:
282.0ms
(cbrt x)
309.0ms
(cbrt x)
371.0ms
(/ (* (cbrt x) (cbrt x)) (- (/ y (cbrt x)) (/ (* z t) (cbrt x))))
150.0ms
(/ (* z t) (cbrt x))

simplify1.3s

Counts
104 → 104
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01601274
13531223
21153941
done5000862

prune447.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 2.2b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
43×times-frac
39×cbrt-prod
31×associate-*r*
30×add-exp-log
29×add-cube-cbrt *-un-lft-identity
21×add-cbrt-cube
9×cbrt-undiv div-exp prod-exp cbrt-unprod
8×unswap-sqr
7×associate-*l*
6×pow1
5×associate-/r/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* frac-sub div-inv
2×frac-times pow1/3 associate-*r/ associate-*l/
1×flip3-- frac-2neg pow-prod-down clear-num *-commutative flip-- associate-/l*
Counts
4 → 126
Calls
4 calls:
2.0ms
(cbrt x)
2.0ms
(cbrt x)
67.0ms
(/ (* (cbrt x) (cbrt x)) (- (/ y (cbrt x)) (* (/ z (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ t (cbrt (cbrt x))))))
78.0ms
(* (/ z (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ t (cbrt (cbrt x))))

series1.1s

Counts
4 → 12
Calls
4 calls:
271.0ms
(cbrt x)
271.0ms
(cbrt x)
365.0ms
(/ (* (cbrt x) (cbrt x)) (- (/ y (cbrt x)) (* (/ z (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ t (cbrt (cbrt x))))))
178.0ms
(* (/ z (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ t (cbrt (cbrt x))))

simplify2.2s

Counts
138 → 138
Iterations

Useful iterations: done (2.1s)

IterNodesCost
02412649
16732540
226881890
done50001693

prune670.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 2.2b

regimes492.0ms

Accuracy

82.4% (0.3b remaining)

Error of 1.8b against oracle of 1.5b and baseline of 3.0b

bsearch2.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03688
14088
done4088

end0.0ms

sample1.3s

Algorithm
intervals
Results
844.0ms8371×body80valid