Details

Time bar (total: 18.0s)

sample38.0ms

Algorithm
intervals
Results
15.0ms276×body80valid

simplify5.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11911
23811
35211
48011
510611
615011
729711
8107911
done500011

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.8b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(- x (* y z))
10.5b
(/ (- x (* y z)) (- t (* a z)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×add-exp-log add-cbrt-cube add-log-exp
3×flip3-- associate-/r* flip-- associate-/l*
2×pow1 associate-/r/ associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-sub div-exp clear-num div-inv
Counts
2 → 44
Calls
2 calls:
5.0ms
(- x (* y z))
18.0ms
(/ (- x (* y z)) (- t (* a z)))

series124.0ms

Counts
2 → 6
Calls
2 calls:
44.0ms
(- x (* y z))
80.0ms
(/ (- x (* y z)) (- t (* a z)))

simplify2.0s

Counts
50 → 50
Iterations

Useful iterations: 2 (134.0ms)

IterNodesCost
087724
1231706
2731652
32493652
done5001652

prune161.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.2b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ x (- t (* a z))) (* y (/ z (- t (* a z)))))
2.2b
(/ x (- t (* a z)))
2.6b
(* y (/ z (- t (* a z))))
8.5b
(/ z (- t (* a z)))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
28×add-cube-cbrt *-un-lft-identity times-frac
15×associate-*r*
13×add-exp-log add-cbrt-cube
6×pow1 associate-/r* associate-/r/ associate-/l* add-log-exp
4×flip3-- flip--
3×cbrt-undiv associate-*r/ div-exp associate-*l* div-inv
2×frac-2neg prod-exp clear-num cbrt-unprod unswap-sqr
1×sub-neg diff-log pow-prod-down *-commutative frac-sub sub-div
Counts
4 → 106
Calls
4 calls:
67.0ms
(- (/ x (- t (* a z))) (* y (/ z (- t (* a z)))))
12.0ms
(/ x (- t (* a z)))
26.0ms
(* y (/ z (- t (* a z))))
9.0ms
(/ z (- t (* a z)))

series296.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(- (/ x (- t (* a z))) (* y (/ z (- t (* a z)))))
46.0ms
(/ x (- t (* a z)))
53.0ms
(* y (/ z (- t (* a z))))
68.0ms
(/ z (- t (* a z)))

simplify1.8s

Counts
118 → 118
Iterations

Useful iterations: done (1.8s)

IterNodesCost
01591582
13661504
210111386
331241386
done50011314

prune364.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.2b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ t z) a)
0.0b
(+ (/ x (- t (* a z))) (/ (- y) (- (/ t z) a)))
2.2b
(/ x (- t (* a z)))
2.7b
(/ (- y) (- (/ t z) a))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
104×add-sqr-sqrt
89×times-frac
88×*-un-lft-identity
44×add-cube-cbrt
24×difference-of-squares
23×distribute-rgt-neg-in
21×distribute-lft-neg-in
14×distribute-lft-out--
13×associate-/l*
9×associate-/r*
8×add-exp-log add-cbrt-cube add-log-exp
7×neg-mul-1
5×distribute-lft-out
4×pow1 associate-/r/
3×flip3-- distribute-frac-neg flip--
2×cbrt-undiv neg-sub0 frac-2neg div-sub div-exp clear-num div-inv
1×+-commutative associate-+r- sub-neg flip3-+ diff-log unsub-neg frac-add sum-log flip-+
Counts
4 → 156
Calls
4 calls:
18.0ms
(- (/ t z) a)
108.0ms
(+ (/ x (- t (* a z))) (/ (- y) (- (/ t z) a)))
9.0ms
(/ x (- t (* a z)))
34.0ms
(/ (- y) (- (/ t z) a))

series207.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(- (/ t z) a)
104.0ms
(+ (/ x (- t (* a z))) (/ (- y) (- (/ t z) a)))
40.0ms
(/ x (- t (* a z)))
40.0ms
(/ (- y) (- (/ t z) a))

simplify1.8s

Counts
168 → 168
Iterations

Useful iterations: 3 (693.0ms)

IterNodesCost
02412477
15182358
212512268
331142263
done50012263

prune625.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.2b

localize28.0ms

Local error

Found 4 expressions with local error:

2.7b
(/ (- y) (- (/ t z) a))
16.5b
(cbrt (/ x (- t (* a z))))
16.5b
(cbrt (/ x (- t (* a z))))
16.5b
(cbrt (/ x (- t (* a z))))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
112×add-sqr-sqrt
98×times-frac
79×*-un-lft-identity
57×add-cube-cbrt
45×cbrt-prod
22×difference-of-squares
21×distribute-lft-neg-in distribute-rgt-neg-in
11×distribute-lft-out--
10×associate-/l*
8×associate-/r/
7×neg-mul-1
6×add-exp-log associate-/r* add-cbrt-cube
4×pow1 flip3-- flip-- div-inv add-log-exp
3×cbrt-div pow1/3
1×cbrt-undiv neg-sub0 frac-2neg div-sub distribute-frac-neg div-exp clear-num
Counts
4 → 164
Calls
4 calls:
28.0ms
(/ (- y) (- (/ t z) a))
5.0ms
(cbrt (/ x (- t (* a z))))
10.0ms
(cbrt (/ x (- t (* a z))))
8.0ms
(cbrt (/ x (- t (* a z))))

series520.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(/ (- y) (- (/ t z) a))
153.0ms
(cbrt (/ x (- t (* a z))))
171.0ms
(cbrt (/ x (- t (* a z))))
136.0ms
(cbrt (/ x (- t (* a z))))

simplify1.8s

Counts
176 → 176
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02492815
14782712
210652631
324432610
done50002583

prune900.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.2b

regimes288.0ms

Accuracy

71.7% (0.6b remaining)

Error of 1.9b against oracle of 1.4b and baseline of 3.4b

bsearch88.0ms

Steps
ItersRangePoint
5
3.0277485137767368e+53
6.5323484647118665e+53
3.0614054691620734e+53
8
-19147056015.956158
-15328712.36436241
-469735603.1488176

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02791
13857
done3857

end0.0ms

sample1.2s

Algorithm
intervals
Results
495.0ms8749×body80valid