Details

Time bar (total: 8.4s)

analyze1.4s (16.1%)

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
10.1%89.7%0.2%10
32%67.8%0.2%11
39.4%60.4%0.2%12
40.2%59.6%0.2%13
47.5%52.3%0.2%14
Compiler

Compiled 20 to 13 computations (35% saved)

sample2.3s (27.1%)

Results
1.7s8045×body128valid
294.0ms589×body128invalid
34.0ms77×body1024valid
25.0ms80×body512valid
14.0ms54×body256valid
Compiler

Compiled 59 to 38 computations (35.6% saved)

simplify84.0ms (1%)

Algorithm
1×egg-herbie
Rules
509×fma-neg_binary64
396×distribute-rgt-in_binary64
366×distribute-lft-in_binary64
289×fma-def_binary64
260×associate-*l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01323
15521
215321
336221
4131521
5463921
6506721

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
6.7b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶6.7b
(fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)
Compiler

Compiled 69 to 35 computations (49.3% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
✓6.4b
(fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)

series774.0ms (9.2%)

Counts
2 → 84
Calls

2 calls:

604.0ms
(fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)
170.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))

rewrite88.0ms (1.1%)

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

2 calls:

84.0ms
((fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01235
128935
2433635
3551235
000
100

simplify135.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
642×times-frac_binary64
591×fma-def_binary64
440×associate-/l*_binary64
305×cancel-sign-sub-inv_binary64
288×sub-neg_binary64
Counts
204 → 180
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01797803
15697219
219566158
350176158

prune183.0ms (2.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1773180
Fresh000
Picked011
Done000
Total1774181
Error
0.0b
Counts
181 → 4
Alt Table
StatusErrorProgram
26.4b
(+.f64 x (*.f64 z (-.f64 t x)))
✓6.7b
(fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)
39.0b
(cbrt.f64 (pow.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) 3))
▶25.5b
x
Compiler

Compiled 7630 to 2959 computations (61.2% saved)

localize1.0ms (0%)

prune3.0ms (0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done011
Total044
Error
0.0b
Counts
4 → 4
Alt Table
StatusErrorProgram
▶26.4b
(+.f64 x (*.f64 z (-.f64 t x)))
✓6.7b
(fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)
39.0b
(cbrt.f64 (pow.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) 3))
✓25.5b
x
Compiler

Compiled 87 to 57 computations (34.5% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (*.f64 z (-.f64 t x)))
✓0.0b
(*.f64 z (-.f64 t x))

series28.0ms (0.3%)

Counts
2 → 72
Calls

2 calls:

21.0ms
(*.f64 z (-.f64 t x))
7.0ms
(+.f64 x (*.f64 z (-.f64 t x)))

rewrite49.0ms (0.6%)

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

2 calls:

48.0ms
((*.f64 z (-.f64 t x)) (+.f64 x (*.f64 z (-.f64 t x))))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
115815
2219715
3542815
000
100

simplify40.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
274×fma-neg_binary64
259×fma-def_binary64
58×distribute-rgt-in_binary64
38×cancel-sign-sub-inv_binary64
36×unsub-neg_binary64
Counts
128 → 68
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
023585
162558
2113558
3194504
4358504
5564504
6642504
7666504
8623504

prune32.0ms (0.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New68068
Fresh011
Picked011
Done022
Total68472
Error
0.0b
Counts
72 → 4
Alt Table
StatusErrorProgram
✓26.4b
(+.f64 x (*.f64 z (-.f64 t x)))
✓6.7b
(fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)
▶39.0b
(cbrt.f64 (pow.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) 3))
✓25.5b
x
Compiler

Compiled 910 to 307 computations (66.3% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
✓0.1b
(pow.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) 3)
6.4b
(fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)
✓36.0b
(cbrt.f64 (pow.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) 3))

series1.6s (18.9%)

Counts
2 → 96
Calls

2 calls:

1.3s
(pow.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) 3)
254.0ms
(cbrt.f64 (pow.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) 3))

rewrite79.0ms (0.9%)

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

2 calls:

74.0ms
((cbrt.f64 (pow.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) 3)) (pow.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) 3))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01545
133445
2473945
3585545
000
100

simplify507.0ms (6%)

Algorithm
1×egg-herbie
Rules
595×+-commutative_binary64
548×associate-+r+_binary64
479×fma-def_binary64
380×*-commutative_binary64
160×associate-*r*_binary64
Counts
147 → 146
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0124942449
1451239353
2501939353

prune932.0ms (11.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New3260326
Fresh000
Picked011
Done033
Total3264330
Error
0.0b
Counts
330 → 4
Alt Table
StatusErrorProgram
✓26.4b
(+.f64 x (*.f64 z (-.f64 t x)))
✓6.7b
(fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)
✓39.0b
(cbrt.f64 (pow.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) 3))
✓25.5b
x
Compiler

Compiled 54416 to 22020 computations (59.5% saved)

regimes141.0ms (1.7%)

Accuracy

Total 1.2b remaining (98.3%)

Threshold costs 0b (0%)

Counts
15 → 3
Compiler

Compiled 1608 to 886 computations (44.9% saved)

bsearch1.0ms (0%)

Compiler

Compiled 19 to 12 computations (36.8% saved)

simplify4.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02497
13397
24197
34597
44797
54797

end70.0ms (0.8%)

Compiler

Compiled 191 to 80 computations (58.1% saved)

Profiling

Loading profile data...