Details

Time bar (total: 5.8s)

analyze1.7s (28.6%)

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
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
0%99.8%0.2%10
0%99.8%0.2%11
0%99.8%0.2%12
3.7%96.1%0.2%13
4.2%94.5%1.3%14
Compiler

Compiled 22 to 16 computations (27.3% saved)

sample1.7s (28.5%)

Results
1.3s8256×body128valid
340.0ms2472×body128invalid
Compiler

Compiled 44 to 32 computations (27.3% saved)

preprocess38.0ms (0.7%)

Algorithm
2×egg-herbie
Rules
1038×fma-def_binary64
598×times-frac_binary64
349×associate-/l*_binary64
218×fma-neg_binary64
163×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
052175
1112161
2245161
3542147
41271147
52535147
044
Stop Event
1×saturated
1×node limit
Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify24.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
669×fma-neg_binary64
614×times-frac_binary64
399×div-sub_binary64
329×cancel-sign-sub-inv_binary64
299×fma-def_binary64
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
01525
12823
25623
312121
428321
553921
6117220
7346920
Stop Event
1×node limit
Counts
1 → 2

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
12.1b
(+.f64 (/.f64 x y) (fma.f64 (/.f64 2 z) (/.f64 (+.f64 z 1) t) -2))
▶7.6b
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (*.f64 (*.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
Compiler

Compiled 113 to 79 computations (30.1% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (*.f64 z 2) (-.f64 1 t))
✓0.0b
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (*.f64 (*.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
✓7.6b
(/.f64 (+.f64 2 (*.f64 (*.f64 z 2) (-.f64 1 t))) (*.f64 t z))

series49.0ms (0.8%)

Counts
3 → 96
Calls

24 calls:

4.0ms
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (*.f64 (*.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
x
0
4.0ms
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (*.f64 (*.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
y
-inf
3.0ms
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (*.f64 (*.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
t
-inf
3.0ms
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (*.f64 (*.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
x
-inf
3.0ms
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (*.f64 (*.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
x
inf

rewrite53.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
175×add-sqr-sqrt_binary64
167×log1p-expm1-u_binary64
167×expm1-log1p-u_binary64
166×add-cbrt-cube_binary64
162×add-log-exp_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01554
134350
Stop Event
1×node limit
Counts
3 → 121

simplify57.0ms (1%)

Algorithm
1×egg-herbie
Rules
722×fma-def_binary64
425×fma-neg_binary64
339×times-frac_binary64
254×associate-/l*_binary64
194×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0441467
11141465
22561417
34441417
47891246
519221246
Stop Event
1×node limit
Counts
217 → 147

prune126.0ms (2.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1434147
Fresh101
Picked011
Done000
Total1445149
Error
0b
Counts
149 → 5
Alt Table
StatusErrorProgram
▶0.1b
(+.f64 (/.f64 x y) (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2))
28.5b
(/.f64 (+.f64 (*.f64 z t) (*.f64 (/.f64 y x) (fma.f64 (*.f64 2 z) (-.f64 1 t) 2))) (*.f64 (/.f64 y x) (*.f64 z t)))
31.8b
(/.f64 (+.f64 (*.f64 (/.f64 (fma.f64 (*.f64 2 z) (-.f64 1 t) 2) t) y) (*.f64 z x)) (*.f64 z y))
27.2b
(+.f64 (/.f64 x y) (*.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 2 z) (-.f64 1 t) 2) 2)) (*.f64 (cbrt.f64 (fma.f64 (*.f64 2 z) (-.f64 1 t) 2)) (/.f64 1 (*.f64 z t)))))
✓7.6b
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (*.f64 (*.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
Compiler

Compiled 3644 to 2096 computations (42.5% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 2 (/.f64 2 z))
✓0.0b
(+.f64 (/.f64 x y) (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2))
✓0.1b
(/.f64 (+.f64 2 (/.f64 2 z)) t)

series42.0ms (0.7%)

Counts
3 → 84
Calls

21 calls:

4.0ms
(+.f64 (/.f64 x y) (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2))
x
0
3.0ms
(+.f64 (/.f64 x y) (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2))
z
0
3.0ms
(+.f64 (/.f64 x y) (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2))
x
-inf
3.0ms
(+.f64 (/.f64 x y) (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2))
x
inf
3.0ms
(+.f64 (/.f64 x y) (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2))
y
inf

rewrite73.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
287×log1p-udef_binary64
158×add-sqr-sqrt_binary64
152×log1p-expm1-u_binary64
152×expm1-log1p-u_binary64
151×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01336
130836
2459336
Stop Event
1×node limit
Counts
3 → 115

simplify154.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
965×fma-neg_binary64
729×fma-def_binary64
187×sub-neg_binary64
152×cancel-sign-sub-inv_binary64
130×cancel-sign-sub_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0281269
1601269
21131269
31641269
42281086
54281086
68231086
717611086
829891086
937971086
1041541086
1142361086
1242811086
1342911086
1445681086
1545731086
1645731086
Stop Event
1×saturated
Counts
199 → 134

prune121.0ms (2.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1322134
Fresh213
Picked011
Done011
Total1345139
Error
0b
Counts
139 → 5
Alt Table
StatusErrorProgram
28.5b
(/.f64 (+.f64 (*.f64 z t) (*.f64 (/.f64 y x) (fma.f64 (*.f64 2 z) (-.f64 1 t) 2))) (*.f64 (/.f64 y x) (*.f64 z t)))
▶18.7b
(+.f64 (/.f64 x y) (+.f64 (/.f64 (/.f64 2 t) z) -2))
30.7b
(+.f64 (/.f64 x y) (+.f64 (*.f64 (/.f64 1 (sqrt.f64 t)) (/.f64 (+.f64 2 (/.f64 2 z)) (sqrt.f64 t))) -2))
✓0.1b
(+.f64 (/.f64 x y) (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2))
✓7.6b
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (*.f64 (*.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
Compiler

Compiled 3256 to 2245 computations (31.1% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (/.f64 x y) (+.f64 (/.f64 (/.f64 2 t) z) -2))
✓0.3b
(/.f64 (/.f64 2 t) z)

series29.0ms (0.5%)

Counts
2 → 72
Calls

18 calls:

3.0ms
(+.f64 (/.f64 x y) (+.f64 (/.f64 (/.f64 2 t) z) -2))
t
inf
2.0ms
(+.f64 (/.f64 x y) (+.f64 (/.f64 (/.f64 2 t) z) -2))
x
inf
2.0ms
(+.f64 (/.f64 x y) (+.f64 (/.f64 (/.f64 2 t) z) -2))
x
-inf
2.0ms
(+.f64 (/.f64 x y) (+.f64 (/.f64 (/.f64 2 t) z) -2))
x
0
2.0ms
(+.f64 (/.f64 x y) (+.f64 (/.f64 (/.f64 2 t) z) -2))
y
-inf

rewrite62.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
259×expm1-udef_binary64
259×log1p-udef_binary64
143×add-sqr-sqrt_binary64
137×log1p-expm1-u_binary64
137×expm1-log1p-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01223
128023
2419223
Stop Event
1×node limit
Counts
2 → 87

simplify78.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
523×fma-neg_binary64
257×fma-def_binary64
229×cancel-sign-sub-inv_binary64
95×associate-/r/_binary64
91×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016828
133828
250828
363828
480828
5124828
6262828
7515828
8886828
91339828
101833828
112537828
122559828
132573828
142578828
Stop Event
1×saturated
Counts
159 → 96

prune82.0ms (1.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New95196
Fresh112
Picked011
Done022
Total965101
Error
0b
Counts
101 → 5
Alt Table
StatusErrorProgram
28.5b
(/.f64 (+.f64 (*.f64 z t) (*.f64 (/.f64 y x) (fma.f64 (*.f64 2 z) (-.f64 1 t) 2))) (*.f64 (/.f64 y x) (*.f64 z t)))
✓18.7b
(+.f64 (/.f64 x y) (+.f64 (/.f64 (/.f64 2 t) z) -2))
✓0.1b
(+.f64 (/.f64 x y) (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2))
▶18.9b
(+.f64 (/.f64 x y) (+.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 2 t)) 2) 1) (/.f64 (cbrt.f64 (/.f64 2 t)) z)) -2))
✓7.6b
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (*.f64 (*.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
Compiler

Compiled 2198 to 1282 computations (41.7% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 (cbrt.f64 (/.f64 2 t)) z)
✓0.3b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 2 t)) 2) 1) (/.f64 (cbrt.f64 (/.f64 2 t)) z))
✓0.5b
(pow.f64 (cbrt.f64 (/.f64 2 t)) 2)
✓0.6b
(cbrt.f64 (/.f64 2 t))

series313.0ms (5.4%)

Counts
4 → 36
Calls

18 calls:

73.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 2 t)) 2) 1) (/.f64 (cbrt.f64 (/.f64 2 t)) z))
t
-inf
30.0ms
(/.f64 (cbrt.f64 (/.f64 2 t)) z)
z
-inf
29.0ms
(/.f64 (cbrt.f64 (/.f64 2 t)) z)
z
inf
26.0ms
(/.f64 (cbrt.f64 (/.f64 2 t)) z)
z
0
26.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 2 t)) 2) 1) (/.f64 (cbrt.f64 (/.f64 2 t)) z))
t
0

rewrite59.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
478×log-prod_binary64
182×log-div_binary64
174×pow1/3_binary64
171×egg-rr
170×expm1-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01131
124031
2273531
Stop Event
1×node limit
Counts
4 → 171

simplify51.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
936×associate-/r/_binary64
828×associate-/l/_binary64
348×associate-*l/_binary64
247×*-commutative_binary64
218×associate-/l*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
013336
126336
243336
380336
4200336
5685336
61624336
72433336
82503336
92603336
102730336
112933336
Stop Event
1×node limit
Counts
207 → 174

prune190.0ms (3.3%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New2120212
Fresh011
Picked011
Done033
Total2125217
Error
0b
Counts
217 → 5
Alt Table
StatusErrorProgram
28.5b
(/.f64 (+.f64 (*.f64 z t) (*.f64 (/.f64 y x) (fma.f64 (*.f64 2 z) (-.f64 1 t) 2))) (*.f64 (/.f64 y x) (*.f64 z t)))
✓18.7b
(+.f64 (/.f64 x y) (+.f64 (/.f64 (/.f64 2 t) z) -2))
✓0.1b
(+.f64 (/.f64 x y) (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2))
✓18.9b
(+.f64 (/.f64 x y) (+.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 2 t)) 2) 1) (/.f64 (cbrt.f64 (/.f64 2 t)) z)) -2))
✓7.6b
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (*.f64 (*.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
Compiler

Compiled 5057 to 3651 computations (27.8% saved)

regimes760.0ms (13.1%)

Accuracy

Total 0.1b remaining (80.9%)

Threshold costs 0.1b (80.9%)

Counts
107 → 1
Compiler

Compiled 14975 to 10994 computations (26.6% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
3×*-commutative_binary64
1×sub-neg_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01628
12628
22728
Stop Event
1×saturated

end81.0ms (1.4%)

Stop Event
1×fuel
Compiler

Compiled 152 to 111 computations (27% saved)

Profiling

Loading profile data...