Details

Time bar (total: 4.5s)

sample25.0ms

Algorithm
intervals
Results
12.0ms264×body80valid

simplify54.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0238
1358
2608
31038
41838
54168
611948
750018

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.2b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
25×times-frac
22×add-sqr-sqrt add-cube-cbrt
11×distribute-lft-out
8×add-exp-log add-cbrt-cube add-log-exp
7×associate-/r* associate-/l*
4×pow1 div-sub associate-/r/ associate-/l/
3×flip3-- flip3-+ flip-- flip-+
2×cbrt-undiv associate-+r- frac-2neg div-exp clear-num div-inv
1×+-commutative sub-neg diff-log sum-log
Counts
4 → 98
Calls
4 calls:
54.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
3.0ms
(- (* y z) x)
21.0ms
(+ x (/ (- (* y z) x) (- (* t z) x)))
18.0ms
(/ (- (* y z) x) (- (* t z) x))

series464.0ms

Counts
4 → 12
Calls
4 calls:
305.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
24.0ms
(- (* y z) x)
81.0ms
(+ x (/ (- (* y z) x) (- (* t z) x)))
54.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify48.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
04001011
11421948
25001947

prune273.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
59×*-un-lft-identity
56×add-sqr-sqrt add-cube-cbrt
18×associate-/r*
17×add-exp-log
11×associate-/r/ add-cbrt-cube
8×div-exp add-log-exp
7×flip3-- flip-- div-inv
6×associate-/l*
5×pow1
4×cbrt-undiv
2×rec-exp frac-2neg 1-exp clear-num associate-/l/ distribute-lft-out
1×+-commutative sub-neg pow-flip flip3-+ diff-log div-sub sum-log flip-+ inv-pow
Counts
4 → 141
Calls
4 calls:
27.0ms
(+ x (/ 1 (/ (- (* t z) x) (- (* y z) x))))
2.0ms
(- (* y z) x)
12.0ms
(/ 1 (/ (- (* t z) x) (- (* y z) x)))
10.0ms
(/ (- (* t z) x) (- (* y z) x))

series260.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(+ x (/ 1 (/ (- (* t z) x) (- (* y z) x))))
21.0ms
(- (* y z) x)
82.0ms
(/ 1 (/ (- (* t z) x) (- (* y z) x)))
61.0ms
(/ (- (* t z) x) (- (* y z) x))

simplify55.0ms

Algorithm
egg-herbie
Counts
153 → 153
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
05161523
122821320
250021304

prune287.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.5b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (/ 1 (- (* t z) x)) (/ 1 (- (* y z) x))))
0.1b
(/ 1 (- (* t z) x))
0.5b
(/ 1 (- (* y z) x))
12.5b
(/ (/ 1 (- (* t z) x)) (/ 1 (- (* y z) x)))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
531×times-frac
246×*-un-lft-identity
244×add-sqr-sqrt add-cube-cbrt
69×associate-/r/
52×add-exp-log
36×div-exp
35×div-inv
34×flip3-- flip--
21×associate-/r* associate-/l*
20×add-cbrt-cube
10×cbrt-undiv rec-exp 1-exp
6×pow1 add-log-exp
3×frac-2neg clear-num
2×pow-flip inv-pow
1×+-commutative flip3-+ sum-log flip-+ associate-/l/ distribute-lft-out
Counts
4 → 365
Calls
4 calls:
76.0ms
(+ x (/ (/ 1 (- (* t z) x)) (/ 1 (- (* y z) x))))
6.0ms
(/ 1 (- (* t z) x))
6.0ms
(/ 1 (- (* y z) x))
21.0ms
(/ (/ 1 (- (* t z) x)) (/ 1 (- (* y z) x)))

series234.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(+ x (/ (/ 1 (- (* t z) x)) (/ 1 (- (* y z) x))))
24.0ms
(/ 1 (- (* t z) x))
23.0ms
(/ 1 (- (* y z) x))
84.0ms
(/ (/ 1 (- (* t z) x)) (/ 1 (- (* y z) x)))

simplify84.0ms

Algorithm
egg-herbie
Counts
377 → 377
Iterations

Useful iterations: 1 (35.0ms)

IterNodesCost
015925417
150014932

prune710.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.5b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* y z) x)
0.1b
(/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* t z) x))))
0.1b
(/ 1 (/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* t z) x)))))
13.0b
(/ (- (* y z) x) (- (* t z) x))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
165×*-un-lft-identity
155×times-frac
81×add-sqr-sqrt add-cube-cbrt
42×distribute-lft-out
29×associate-/r*
19×add-exp-log
13×associate-/r/ add-cbrt-cube
10×associate-/l*
9×div-exp
7×div-inv
6×flip3-+ flip-+ add-log-exp
5×pow1 cbrt-undiv
4×associate-/l/
3×flip3-- frac-2neg clear-num flip--
2×rec-exp 1-exp
1×sub-neg pow-flip diff-log div-sub inv-pow
Counts
4 → 196
Calls
4 calls:
3.0ms
(- (* y z) x)
39.0ms
(/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* t z) x))))
39.0ms
(/ 1 (/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* t z) x)))))
13.0ms
(/ (- (* y z) x) (- (* t z) x))

series315.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(- (* y z) x)
117.0ms
(/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* t z) x))))
123.0ms
(/ 1 (/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* t z) x)))))
54.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify82.0ms

Algorithm
egg-herbie
Counts
208 → 208
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
06342700
129282493
250012372

prune349.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.5b

regimes192.0ms

Accuracy

55.7% (3.0b remaining)

Error of 3.7b against oracle of 0.8b and baseline of 7.5b

bsearch103.0ms

Steps
ItersRangePoint
9
2.3368260044911415e+32
6.299056690775413e+40
6.179932288964712e+40
10
-2.5650104928750737e+95
-5.3593198360062826e+85
-6.729153061372045e+92

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03413
13413

end0.0ms

sample552.0ms

Algorithm
intervals
Results
322.0ms8338×body80valid