Details

Time bar (total: 3.5s)

analyze705.0ms (20.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
3.1%96.7%0.2%7
6.2%93.6%0.2%8
8.6%91.2%0.2%9
28.1%71.7%0.2%10
31%68.8%0.2%11
40.5%59.3%0.2%12
49.6%50.2%0.2%13
59%40.8%0.2%14

sample23.0ms (0.7%)

Algorithm
1×intervals
Results
12.0ms256×body80valid
0.0ms10×body80invalid

simplify50.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
0515317

prune7.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 8.3b

Counts
2 → 1

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite44.0ms (1.3%)

Algorithm
1×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 → 97
Calls

4 calls:

18.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
11.0ms
(+ x (/ (- (* y z) x) (- (* t z) x)))
8.0ms
(/ (- (* y z) x) (- (* t z) x))
4.0ms
(- (* t z) x)

series84.0ms (2.4%)

Counts
4 → 12
Calls

4 calls:

34.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
27.0ms
(+ x (/ (- (* y z) x) (- (* t z) x)))
17.0ms
(/ (- (* y z) x) (- (* t z) x))
5.0ms
(- (* t z) x)

simplify60.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
050831911

prune204.0ms (5.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New9811109
Fresh000
Picked101
Done000
Total9911110

Merged error: 1.2b

Counts
110 → 11

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b
(+ x (* (- (* y z) x) (/ 1 (- (* z t) x))))
0.3b
(/ (+ x (* (- (* y z) x) (/ 1 (- (* z t) x)))) (+ x 1.0))
0.3b
(/ 1 (- (* z t) x))
11.3b
(* (- (* y z) x) (/ 1 (- (* z t) x)))

rewrite33.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
38×*-un-lft-identity
36×add-sqr-sqrt
32×times-frac
29×add-cube-cbrt
19×add-exp-log
15×associate-*r*
13×add-cbrt-cube
7×pow1 associate-/r*
6×associate-/r/ associate-/l* add-log-exp
5×div-exp
4×flip3-- prod-exp flip-- distribute-lft-out
3×cbrt-undiv flip3-+ associate-*l* flip-+ div-inv unswap-sqr
2×frac-times rec-exp frac-2neg 1-exp associate-*l/ clear-num cbrt-unprod associate-/l/
1×+-commutative pow-flip associate-*r/ pow-prod-down sum-log un-div-inv *-commutative inv-pow
Counts
4 → 121
Calls

4 calls:

13.0ms
(* (- (* y z) x) (/ 1 (- (* z t) x)))
7.0ms
(/ (+ x (* (- (* y z) x) (/ 1 (- (* z t) x)))) (+ x 1.0))
6.0ms
(/ 1 (- (* z t) x))
3.0ms
(+ x (* (- (* y z) x) (/ 1 (- (* z t) x))))

series84.0ms (2.4%)

Counts
4 → 12
Calls

4 calls:

34.0ms
(/ (+ x (* (- (* y z) x) (/ 1 (- (* z t) x)))) (+ x 1.0))
24.0ms
(+ x (* (- (* y z) x) (/ 1 (- (* z t) x))))
17.0ms
(* (- (* y z) x) (/ 1 (- (* z t) x)))
9.0ms
(/ 1 (- (* z t) x))

simplify43.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
133 → 133
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
049982041
149982041

prune194.0ms (5.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1330133
Fresh01010
Picked011
Done000
Total13311144

Merged error: 1.2b

Counts
144 → 11

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite64.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
167×*-un-lft-identity
155×times-frac
81×add-sqr-sqrt add-cube-cbrt
43×distribute-lft-out
29×associate-/r*
19×add-exp-log
13×associate-/r/ add-cbrt-cube
10×associate-/l*
9×div-exp
7×flip3-+ flip-+ div-inv
6×add-log-exp
5×pow1 cbrt-undiv
4×associate-/l/
3×frac-2neg clear-num
2×rec-exp flip3-- 1-exp div-sub flip--
1×+-commutative associate-+r- pow-flip sum-log inv-pow
Counts
4 → 197
Calls

4 calls:

18.0ms
(/ 1 (/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* z t) x)))))
14.0ms
(/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* z t) x))))
14.0ms
(+ x (/ (- (* y z) x) (- (* z t) x)))
9.0ms
(/ (- (* y z) x) (- (* z t) x))

series108.0ms (3.1%)

Counts
4 → 12
Calls

4 calls:

37.0ms
(/ 1 (/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* z t) x)))))
29.0ms
(/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* z t) x))))
25.0ms
(+ x (/ (- (* y z) x) (- (* z t) x)))
17.0ms
(/ (- (* y z) x) (- (* z t) x))

simplify61.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
209 → 209
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
052024988

prune311.0ms (9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New2081209
Fresh189
Picked101
Done011
Total21010220

Merged error: 1.2b

Counts
220 → 10

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b
(- (* t z) x)
0.0b
(+ x (/ (- (* y z) x) (- (* t z) x)))
0.3b
(* (+ x (/ (- (* y z) x) (- (* t z) x))) (/ 1 (+ x 1.0)))
11.4b
(/ (- (* y z) x) (- (* t z) x))

rewrite45.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
32×*-un-lft-identity
28×add-sqr-sqrt
23×times-frac
21×add-cube-cbrt
18×associate-*r*
15×add-exp-log
11×add-cbrt-cube
8×add-log-exp
6×pow1
5×distribute-lft-out
4×flip3-+ associate-*l* prod-exp associate-/r/ flip-+
3×flip3-- div-exp associate-/r* flip-- associate-/l* unswap-sqr
2×cbrt-undiv frac-times div-sub associate-*l/ cbrt-unprod div-inv associate-/l/
1×+-commutative associate-+r- sub-neg rec-exp frac-2neg diff-log 1-exp associate-*r/ pow-prod-down clear-num sum-log un-div-inv *-commutative
Counts
4 → 102
Calls

4 calls:

19.0ms
(* (+ x (/ (- (* y z) x) (- (* t z) x))) (/ 1 (+ x 1.0)))
11.0ms
(+ x (/ (- (* y z) x) (- (* t z) x)))
8.0ms
(/ (- (* y z) x) (- (* t z) x))
4.0ms
(- (* t z) x)

series82.0ms (2.4%)

Counts
4 → 12
Calls

4 calls:

33.0ms
(* (+ x (/ (- (* y z) x) (- (* t z) x))) (/ 1 (+ x 1.0)))
24.0ms
(+ x (/ (- (* y z) x) (- (* t z) x)))
19.0ms
(/ (- (* y z) x) (- (* t z) x))
5.0ms
(- (* t z) x)

simplify49.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
058651866

prune141.0ms (4.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1140114
Fresh088
Picked011
Done011
Total11410124

Merged error: 1.2b

Counts
124 → 10

regimes367.0ms (10.6%)

Accuracy

Total 2.5b remaining (71.6%)

Threshold costs 0b (0%)

bsearch24.0ms (0.7%)

Steps
ItersRangePoint
5
1.5611912493813254e+84
6.1525327754357184e+84
3.0393366045932753e+84
6
-4.1133703840226896e+138
-3.331301443496535e+137
-3.487919808730238e+137

simplify1.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04537
14537

end0.0ms (0%)

sample619.0ms (17.9%)

Algorithm
1×intervals
Results
375.0ms8000×body80valid
23.0ms333×body80invalid

Profiling

Loading profile data...