Details

Time bar (total: 3.9s)

analyze1.3s (34.5%)

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
6.2%93.6%0.2%8
6.2%93.6%0.2%9
9.4%90.4%0.2%10
22.2%77.6%0.2%11
40.4%59.5%0.2%12
47.4%52.4%0.2%13
55.3%44.5%0.2%14
Compiler

Compiled 22 to 15 computations (31.8% saved)

sample1.1s (29.2%)

Results
1.1s8256×body128valid
Compiler

Compiled 65 to 44 computations (32.3% saved)

simplify54.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
508×fma-neg_binary64
504×associate-*l/_binary64
466×div-sub_binary64
450×cancel-sign-sub-inv_binary64
403×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01425
13025
27025
317722
448619
5108719
6253419
7443419
8515619

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
2.4b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶2.4b
(-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))))
11.3b
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t))))
Compiler

Compiled 110 to 70 computations (36.4% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))))
✓5.1b
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
✓5.8b
(/.f64 (*.f64 y t) (*.f64 2 z))

series100.0ms (2.6%)

Counts
3 → 120
Calls

3 calls:

55.0ms
(-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))))
30.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
15.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))

rewrite108.0ms (2.8%)

Algorithm
2×batch-egg-rewrite
Rules
125×egg-rr
Counts
3 → 125
Calls

2 calls:

105.0ms
((/.f64 (*.f64 y t) (*.f64 2 z)) (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))) (-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01245
127945
2415545
3498945
4493945
000
100

simplify85.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
621×fma-neg_binary64
529×times-frac_binary64
345×associate-/l*_binary64
300×associate-/r*_binary64
245×associate-*r*_binary64
Counts
245 → 163
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0912594
12732584
28992544
342722534
449572534

prune118.0ms (3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1594163
Fresh101
Picked101
Done000
Total1614165
Error
0.0b
Counts
165 → 4
Alt Table
StatusErrorProgram
24.7b
(-.f64 x (pow.f64 (sqrt.f64 (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))) 2))
24.2b
(-.f64 x (/.f64 y z))
▶0.3b
(-.f64 x (/.f64 y (-.f64 z (*.f64 y (/.f64 1 (/.f64 2 (/.f64 t z)))))))
22.4b
(fma.f64 2 (/.f64 z t) x)
Compiler

Compiled 3701 to 2041 computations (44.9% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 2 (/.f64 t z))
✓0.3b
(/.f64 1 (/.f64 2 (/.f64 t z)))
✓5.1b
(*.f64 y (/.f64 1 (/.f64 2 (/.f64 t z))))
✓5.1b
(/.f64 y (-.f64 z (*.f64 y (/.f64 1 (/.f64 2 (/.f64 t z))))))

series59.0ms (1.5%)

Counts
4 → 120
Calls

4 calls:

30.0ms
(/.f64 y (-.f64 z (*.f64 y (/.f64 1 (/.f64 2 (/.f64 t z))))))
15.0ms
(*.f64 y (/.f64 1 (/.f64 2 (/.f64 t z))))
7.0ms
(/.f64 1 (/.f64 2 (/.f64 t z)))
6.0ms
(/.f64 2 (/.f64 t z))

rewrite75.0ms (1.9%)

Algorithm
2×batch-egg-rewrite
Rules
117×egg-rr
Counts
4 → 117
Calls

2 calls:

72.0ms
((/.f64 y (-.f64 z (*.f64 y (/.f64 1 (/.f64 2 (/.f64 t z)))))) (*.f64 y (/.f64 1 (/.f64 2 (/.f64 t z)))) (/.f64 1 (/.f64 2 (/.f64 t z))) (/.f64 2 (/.f64 t z)))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01240
127840
2367740
3523840
000
100

simplify89.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
529×times-frac_binary64
517×unswap-sqr_binary64
456×fma-neg_binary64
341×associate-/l*_binary64
299×associate-/r*_binary64
Counts
237 → 133
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0661883
11961875
26931855
335841845
449181845
549481845

prune99.0ms (2.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1330133
Fresh033
Picked011
Done000
Total1334137
Error
0.0b
Counts
137 → 4
Alt Table
StatusErrorProgram
24.7b
(-.f64 x (pow.f64 (sqrt.f64 (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))) 2))
24.2b
(-.f64 x (/.f64 y z))
✓0.3b
(-.f64 x (/.f64 y (-.f64 z (*.f64 y (/.f64 1 (/.f64 2 (/.f64 t z)))))))
▶22.4b
(fma.f64 2 (/.f64 z t) x)
Compiler

Compiled 2637 to 1509 computations (42.8% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 2 (/.f64 z t) x)

series9.0ms (0.2%)

Counts
1 → 36
Calls

1 calls:

9.0ms
(fma.f64 2 (/.f64 z t) x)

rewrite70.0ms (1.8%)

Algorithm
2×batch-egg-rewrite
Rules
26×egg-rr
Counts
1 → 26
Calls

2 calls:

69.0ms
((fma.f64 2 (/.f64 z t) x))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
11458
217458
349888
451368
000
100

simplify13.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
4×fma-def_binary64
3×*-commutative_binary64
2×associate-/l*_binary64
1×+-commutative_binary64
1×associate-*r/_binary64
Counts
62 → 29
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08249
113249
217249
321249
423249
524249
624249

prune15.0ms (0.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New29029
Fresh022
Picked011
Done011
Total29433
Error
0.0b
Counts
33 → 4
Alt Table
StatusErrorProgram
24.7b
(-.f64 x (pow.f64 (sqrt.f64 (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))) 2))
▶24.2b
(-.f64 x (/.f64 y z))
✓0.3b
(-.f64 x (/.f64 y (-.f64 z (*.f64 y (/.f64 1 (/.f64 2 (/.f64 t z)))))))
✓22.4b
(fma.f64 2 (/.f64 z t) x)
Compiler

Compiled 398 to 226 computations (43.2% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (/.f64 y z))

series8.0ms (0.2%)

Counts
1 → 9
Calls

1 calls:

8.0ms
(-.f64 x (/.f64 y z))

rewrite55.0ms (1.4%)

Algorithm
2×batch-egg-rewrite
Rules
105×egg-rr
Counts
1 → 105
Calls

2 calls:

51.0ms
((-.f64 x (/.f64 y z)))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11357
218847
357587
000
100

simplify11.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
14×fma-def_binary64
8×sub-neg_binary64
4×+-commutative_binary64
4×fma-neg_binary64
3×*-commutative_binary64
Counts
114 → 108
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0729
11129
21729
32329
42929
53529
64029
74529
85329
95029
104129

prune54.0ms (1.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1080108
Fresh011
Picked011
Done022
Total1084112
Error
0.0b
Counts
112 → 4
Alt Table
StatusErrorProgram
24.7b
(-.f64 x (pow.f64 (sqrt.f64 (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))) 2))
✓24.2b
(-.f64 x (/.f64 y z))
✓0.3b
(-.f64 x (/.f64 y (-.f64 z (*.f64 y (/.f64 1 (/.f64 2 (/.f64 t z)))))))
✓22.4b
(fma.f64 2 (/.f64 z t) x)
Compiler

Compiled 2917 to 821 computations (71.9% saved)

regimes289.0ms (7.5%)

Accuracy

Total 1.0b remaining (99.2%)

Threshold costs 1.0b (99.2%)

Counts
37 → 1
Compiler

Compiled 3760 to 2488 computations (33.8% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
6×+-commutative_binary64
6×sub-neg_binary64
4×*-commutative_binary64
4×neg-sub0_binary64
4×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01219
11619
22819
33719
44319
54519
64519

end60.0ms (1.6%)

Compiler

Compiled 92 to 62 computations (32.6% saved)

Profiling

Loading profile data...