Details

Time bar (total: 9.2s)

analyze368.0ms (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
0%99.8%0.2%7
49.9%49.9%0.2%8
49.9%49.9%0.2%9
49.9%49.9%0.2%10
49.9%49.9%0.2%11
74.9%25%0.2%12
74.9%25%0.2%13
74.9%25%0.2%14
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample973.0ms (10.6%)

Results
803.0ms8256×body128valid
Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify284.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
2150×fma-neg_binary64
1161×div-sub_binary64
897×fma-def_binary64
414×associate-/l*_binary64
410×distribute-rgt-in_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01116
11816
23316
36516
411316
519716
639716
781416
8144916
9183216
10194116
11203616
12211016
13222416
14217416
15265216
16233016
17235816
18237616
19239216
20238416
21246816
22246816
23238816
24245016
25242816
26242616
27242816
28243016
29244016
30244016
31225516

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
3.1b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶3.1b
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
Compiler

Compiled 45 to 30 computations (33.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series53.0ms (0.6%)

Counts
3 → 78
Calls

3 calls:

31.0ms
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
14.0ms
(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
8.0ms
(/.f64 t (-.f64 1 z))

rewrite337.0ms (3.7%)

Algorithm
1×rewrite-expression-head
Rules
1447×times-frac_binary64
1363×add-sqr-sqrt_binary64
1359×*-un-lft-identity_binary64
947×add-cube-cbrt_binary64
936×prod-diff_binary64
Counts
3 → 1117
Calls

3 calls:

36.0ms
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
24.0ms
(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
4.0ms
(/.f64 t (-.f64 1 z))

simplify1.2s (12.5%)

Algorithm
1×egg-herbie
Rules
854×times-frac_binary64
575×associate-*l*_binary64
560×associate-*r*_binary64
316×*-commutative_binary64
254×distribute-rgt-in_binary64
Counts
1195 → 1129
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0101986414
1177944281
2403542577
3503642577

prune1.4s (14.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New112271129
Fresh000
Picked101
Done000
Total112371130
Error
0.0b
Counts
1130 → 7
Alt Table
StatusErrorProgram
17.8b
(/.f64 (*.f64 x (-.f64 (*.f64 y (-.f64 1 z)) (*.f64 z t))) (*.f64 z (-.f64 1 z)))
7.0b
(-.f64 (/.f64 (*.f64 y x) z) (/.f64 (*.f64 t x) (-.f64 1 z)))
31.9b
(*.f64 x (fma.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) z) (neg.f64 (/.f64 t (-.f64 1 z)))))
15.7b
(/.f64 x (/.f64 z (+.f64 y t)))
3.5b
(*.f64 x (fma.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (cbrt.f64 (/.f64 y z))) (cbrt.f64 (/.f64 y z)) (neg.f64 (/.f64 t (-.f64 1 z)))))
45.5b
(/.f64 (*.f64 x (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3))) (+.f64 (*.f64 (/.f64 y z) (/.f64 y z)) (+.f64 (*.f64 (/.f64 t (-.f64 1 z)) (/.f64 t (-.f64 1 z))) (*.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))))
▶3.1b
(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
Compiler

Compiled 58714 to 31772 computations (45.9% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(/.f64 t (-.f64 1 z))
✓0.2b
(fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z))))
✓3.1b
(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))

series50.0ms (0.5%)

Counts
2 → 84
Calls

2 calls:

33.0ms
(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
17.0ms
(fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z))))

rewrite4.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64
4×add-cube-cbrt_binary64
4×add-cbrt-cube_binary64
4×add-exp-log_binary64
Counts
2 → 32
Calls

2 calls:

3.0ms
(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
0.0ms
(fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z))))

simplify96.0ms (1%)

Algorithm
1×egg-herbie
Rules
797×fma-neg_binary64
432×cancel-sign-sub-inv_binary64
422×fma-def_binary64
234×associate-/l/_binary64
218×associate-*l*_binary64
Counts
116 → 90
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01122138
12741926
28261862
326321827
445721827
549741827

prune111.0ms (1.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1511152
Fresh246
Picked011
Done000
Total1536159
Error
0.0b
Counts
159 → 6
Alt Table
StatusErrorProgram
17.8b
(/.f64 (*.f64 x (-.f64 (*.f64 y (-.f64 1 z)) (*.f64 z t))) (*.f64 z (-.f64 1 z)))
▶7.0b
(-.f64 (/.f64 (*.f64 y x) z) (/.f64 (*.f64 t x) (-.f64 1 z)))
31.9b
(*.f64 x (fma.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) z) (neg.f64 (/.f64 t (-.f64 1 z)))))
15.7b
(/.f64 x (/.f64 z (+.f64 y t)))
✓3.1b
(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
18.5b
(*.f64 (/.f64 x z) (+.f64 y t))
Compiler

Compiled 3056 to 1706 computations (44.2% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓1.4b
(-.f64 (/.f64 (*.f64 y x) z) (/.f64 (*.f64 t x) (-.f64 1 z)))
✓1.5b
(/.f64 (*.f64 t x) (-.f64 1 z))
✓5.2b
(/.f64 (*.f64 y x) z)

series61.0ms (0.7%)

Counts
3 → 42
Calls

3 calls:

30.0ms
(-.f64 (/.f64 (*.f64 y x) z) (/.f64 (*.f64 t x) (-.f64 1 z)))
17.0ms
(/.f64 (*.f64 t x) (-.f64 1 z))
14.0ms
(/.f64 (*.f64 y x) z)

rewrite40.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
96×times-frac_binary64
84×prod-diff_binary64
81×*-un-lft-identity_binary64
81×add-sqr-sqrt_binary64
49×add-cube-cbrt_binary64
Counts
3 → 173
Calls

3 calls:

13.0ms
(-.f64 (/.f64 (*.f64 y x) z) (/.f64 (*.f64 t x) (-.f64 1 z)))
5.0ms
(/.f64 (*.f64 t x) (-.f64 1 z))
3.0ms
(/.f64 (*.f64 y x) z)

simplify161.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
543×fma-neg_binary64
265×cancel-sign-sub-inv_binary64
213×distribute-rgt-neg-in_binary64
205×div-sub_binary64
190×distribute-rgt-out_binary64
Counts
215 → 256
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03167070
17995494
228114354
343184354
449444354

prune236.0ms (2.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New2542256
Fresh134
Picked011
Done011
Total2557262
Error
0b
Counts
262 → 7
Alt Table
StatusErrorProgram
17.8b
(/.f64 (*.f64 x (-.f64 (*.f64 y (-.f64 1 z)) (*.f64 z t))) (*.f64 z (-.f64 1 z)))
✓7.0b
(-.f64 (/.f64 (*.f64 y x) z) (/.f64 (*.f64 t x) (-.f64 1 z)))
15.7b
(/.f64 x (/.f64 z (+.f64 y t)))
7.4b
(-.f64 (/.f64 (/.f64 (*.f64 y x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)) (/.f64 (*.f64 t x) (-.f64 1 z)))
▶7.2b
(-.f64 (/.f64 1 (/.f64 z (*.f64 y x))) (/.f64 (*.f64 t x) (-.f64 1 z)))
✓3.1b
(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
18.5b
(*.f64 (/.f64 x z) (+.f64 y t))
Compiler

Compiled 8352 to 4074 computations (51.2% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 1 (/.f64 z (*.f64 y x)))
✓1.4b
(-.f64 (/.f64 1 (/.f64 z (*.f64 y x))) (/.f64 (*.f64 t x) (-.f64 1 z)))
1.5b
(/.f64 (*.f64 t x) (-.f64 1 z))
✓5.2b
(/.f64 z (*.f64 y x))

series60.0ms (0.6%)

Counts
3 → 84
Calls

3 calls:

31.0ms
(-.f64 (/.f64 1 (/.f64 z (*.f64 y x))) (/.f64 (*.f64 t x) (-.f64 1 z)))
15.0ms
(/.f64 z (*.f64 y x))
13.0ms
(/.f64 1 (/.f64 z (*.f64 y x)))

rewrite106.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
590×times-frac_binary64
345×add-sqr-sqrt_binary64
342×*-un-lft-identity_binary64
312×prod-diff_binary64
257×add-cube-cbrt_binary64
Counts
3 → 450
Calls

3 calls:

25.0ms
(-.f64 (/.f64 1 (/.f64 z (*.f64 y x))) (/.f64 (*.f64 t x) (-.f64 1 z)))
5.0ms
(/.f64 1 (/.f64 z (*.f64 y x)))
3.0ms
(/.f64 z (*.f64 y x))

simplify470.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
811×fma-neg_binary64
258×cancel-sign-sub-inv_binary64
246×unsub-neg_binary64
201×neg-mul-1_binary64
199×sub-neg_binary64
Counts
534 → 523
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
034523706
175917611
2263912947
3404412947
4492812947
5495412947

prune1.0s (11.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New5761577
Fresh134
Picked011
Done022
Total5777584
Error
0b
Counts
584 → 7
Alt Table
StatusErrorProgram
17.8b
(/.f64 (*.f64 x (-.f64 (*.f64 y (-.f64 1 z)) (*.f64 z t))) (*.f64 z (-.f64 1 z)))
✓7.0b
(-.f64 (/.f64 (*.f64 y x) z) (/.f64 (*.f64 t x) (-.f64 1 z)))
15.7b
(/.f64 x (/.f64 z (+.f64 y t)))
✓7.2b
(-.f64 (/.f64 1 (/.f64 z (*.f64 y x))) (/.f64 (*.f64 t x) (-.f64 1 z)))
7.9b
(-.f64 (/.f64 1 (*.f64 (/.f64 1 y) (/.f64 z x))) (/.f64 (*.f64 t x) (-.f64 1 z)))
✓3.1b
(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
18.5b
(*.f64 (/.f64 x z) (+.f64 y t))
Compiler

Compiled 24923 to 13636 computations (45.3% saved)

regimes2.1s (22.8%)

Accuracy

Total 2.2b remaining (99.2%)

Threshold costs 0b (0%)

Counts
203 → 2
Compiler

Compiled 38048 to 25023 computations (34.2% saved)

bsearch10.0ms (0.1%)

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify4.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02159
13659
25059
35859
46359
56459
66359

end94.0ms (1%)

Compiler

Compiled 205 to 133 computations (35.1% saved)

Profiling

Loading profile data...