Details

Time bar (total: 5.2s)

sample22.0ms

Algorithm
intervals
Results
9.0ms268×body80valid

simplify42.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0238
1358
2608
31038
41838
54168
611948
750018

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.8b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* y z) x)
0.2b
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
10.2b
(/ (- (* y z) x) (- (* t z) x))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
41×*-un-lft-identity
25×times-frac
21×add-sqr-sqrt add-cube-cbrt
10×distribute-lft-out
7×add-exp-log associate-/r* add-cbrt-cube associate-/l*
5×add-log-exp
4×associate-/r/ associate-/l/
3×pow1 flip3-- div-sub flip--
2×cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv
1×associate-+r- sub-neg diff-log
Counts
3 → 85
Calls
3 calls:
8.0ms
(- (* y z) x)
118.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
26.0ms
(/ (- (* y z) x) (- (* t z) x))

series173.0ms

Counts
3 → 9
Calls
3 calls:
19.0ms
(- (* y z) x)
104.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
51.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify42.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0383891
11378830
25001829

prune232.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.7b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* y z) x)
0.2b
(/ 1 (/ (- (* t z) x) (- (* y z) x)))
0.2b
(/ (+ x (/ 1 (/ (- (* t z) x) (- (* y z) x)))) (+ x 1.0))
10.2b
(/ (- (* t z) x) (- (* y z) x))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
110×times-frac
94×*-un-lft-identity
67×add-sqr-sqrt add-cube-cbrt
22×associate-/r*
19×add-exp-log
16×distribute-lft-out
13×associate-/r/ add-cbrt-cube
12×div-inv
11×associate-/l*
9×div-exp
7×flip3-- flip--
6×add-log-exp
5×pow1 cbrt-undiv
4×associate-/l/
3×frac-2neg clear-num
2×rec-exp flip3-+ 1-exp flip-+
1×sub-neg pow-flip diff-log div-sub inv-pow
Counts
4 → 173
Calls
4 calls:
7.0ms
(- (* y z) x)
26.0ms
(/ 1 (/ (- (* t z) x) (- (* y z) x)))
150.0ms
(/ (+ x (/ 1 (/ (- (* t z) x) (- (* y z) x)))) (+ x 1.0))
29.0ms
(/ (- (* t z) x) (- (* y z) x))

series269.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(- (* y z) x)
72.0ms
(/ 1 (/ (- (* t z) x) (- (* y z) x)))
126.0ms
(/ (+ x (/ 1 (/ (- (* t z) x) (- (* y z) x)))) (+ x 1.0))
53.0ms
(/ (- (* t z) x) (- (* y z) x))

simplify72.0ms

Algorithm
egg-herbie
Counts
185 → 185
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
06232024
128651860
250011781

prune345.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.7b

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (- (/ (* t z) (- (* y z) x)) (/ x (- (* y z) x))))
0.2b
(/ (+ x (/ 1 (- (/ (* t z) (- (* y z) x)) (/ x (- (* y z) x))))) (+ x 1.0))
1.8b
(/ x (- (* y z) x))
11.2b
(/ (* t z) (- (* y z) x))

rewrite711.0ms

Algorithm
rewrite-expression-head
Rules
74×*-un-lft-identity
63×times-frac
59×add-sqr-sqrt
39×add-cube-cbrt
26×associate-/r/
19×associate-/r*
17×add-exp-log div-inv
16×distribute-lft-out
15×add-cbrt-cube
12×distribute-rgt-out-- associate-/l*
11×flip3-- flip--
8×difference-of-squares
6×div-exp
5×pow1 cbrt-undiv
4×frac-2neg clear-num distribute-lft-out-- add-log-exp
2×flip3-+ flip-+ associate-/l/
1×rec-exp pow-flip 1-exp prod-exp frac-sub cbrt-unprod inv-pow sub-div
Counts
4 → 156
Calls
4 calls:
110.0ms
(/ 1 (- (/ (* t z) (- (* y z) x)) (/ x (- (* y z) x))))
563.0ms
(/ (+ x (/ 1 (- (/ (* t z) (- (* y z) x)) (/ x (- (* y z) x))))) (+ x 1.0))
13.0ms
(/ x (- (* y z) x))
19.0ms
(/ (* t z) (- (* y z) x))

series292.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(/ 1 (- (/ (* t z) (- (* y z) x)) (/ x (- (* y z) x))))
133.0ms
(/ (+ x (/ 1 (- (/ (* t z) (- (* y z) x)) (/ x (- (* y z) x))))) (+ x 1.0))
49.0ms
(/ x (- (* y z) x))
30.0ms
(/ (* t z) (- (* y z) x))

simplify70.0ms

Algorithm
egg-herbie
Counts
168 → 168
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
05842004
125661870
250021828

prune353.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.7b

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (+ x (/ 1 (- (/ (* t z) (- (* y z) x)) (/ 1 (/ (- (* y z) x) x))))) (+ x 1.0))
0.3b
(/ 1 (/ (- (* y z) x) x))
1.7b
(/ (- (* y z) x) x)
11.2b
(/ (* t z) (- (* y z) x))

rewrite674.0ms

Algorithm
rewrite-expression-head
Rules
107×times-frac
94×*-un-lft-identity
67×add-sqr-sqrt add-cube-cbrt
24×add-exp-log
23×associate-/r*
18×add-cbrt-cube
16×distribute-lft-out
13×div-inv
12×associate-/l*
11×div-exp
7×cbrt-undiv
5×pow1 associate-/r/
4×frac-2neg clear-num associate-/l/ add-log-exp
2×rec-exp flip3-- flip3-+ 1-exp flip-- flip-+
1×pow-flip div-sub prod-exp cbrt-unprod inv-pow
Counts
4 → 174
Calls
4 calls:
614.0ms
(/ (+ x (/ 1 (- (/ (* t z) (- (* y z) x)) (/ 1 (/ (- (* y z) x) x))))) (+ x 1.0))
15.0ms
(/ 1 (/ (- (* y z) x) x))
18.0ms
(/ (- (* y z) x) x)
20.0ms
(/ (* t z) (- (* y z) x))

series236.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(/ (+ x (/ 1 (- (/ (* t z) (- (* y z) x)) (/ 1 (/ (- (* y z) x) x))))) (+ x 1.0))
26.0ms
(/ 1 (/ (- (* y z) x) x))
33.0ms
(/ (- (* y z) x) x)
35.0ms
(/ (* t z) (- (* y z) x))

simplify96.0ms

Algorithm
egg-herbie
Counts
186 → 186
Iterations

Useful iterations: 2 (77.0ms)

IterNodesCost
06651918
133671743
250011672

prune370.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.7b

regimes131.0ms

Accuracy

56.1% (2.8b remaining)

Error of 3.6b against oracle of 0.8b and baseline of 7.2b

bsearch88.0ms

Steps
ItersRangePoint
10
2.4890864931210445e+115
1.3231026870335082e+126
2.2142226299666923e+124
7
-2.0009787922336085e+208
-1.1049439701521947e+207
-1.1155458979184906e+207

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03617
13617

end0.0ms

sample581.0ms

Algorithm
intervals
Results
296.0ms8340×body80valid