Details

Time bar (total: 4.2s)

analyze381.0ms (9.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
25%74.9%0.1%6
25%74.9%0.1%7
43.7%56.2%0.1%8
62.4%37.4%0.1%9
65.5%34.3%0.1%10
71.8%27.7%0.5%11
79.2%19.7%1.1%12
80.2%18.7%1.1%13
82.8%15%2.2%14
Compiler

Compiled 15 to 11 computations (26.7% saved)

sample29.0ms (0.7%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
1.0ms15×body128invalid
Compiler

Compiled 32 to 24 computations (25% saved)

simplify12.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
37×associate-*l*_binary64
36×associate-*r*_binary64
20×*-commutative_binary64
19×distribute-lft-in_binary64
19×distribute-rgt-in_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01016
12416
23816
38716
410816
511816
611116

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
5.6b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶5.6b
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
Compiler

Compiled 28 to 20 computations (28.6% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 1 (*.f64 z z))
3.3b
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
4.5b
(*.f64 y (+.f64 1 (*.f64 z z)))

rewrite102.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Error
4.1b
Rules
31×times-frac_binary64
27×add-exp-log_binary64
21×add-sqr-sqrt_binary64
19×*-un-lft-identity_binary64
19×add-cube-cbrt_binary64
Counts
3 → 85
Calls

3 calls:

8.0ms
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
4.0ms
(*.f64 y (+.f64 1 (*.f64 z z)))
2.0ms
(+.f64 1 (*.f64 z z))
Compiler

Compiled 1558 to 905 computations (41.9% saved)

series76.0ms (1.8%)

Error
4.1b
Counts
3 → 31
Calls

3 calls:

42.0ms
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
14.0ms
(*.f64 y (+.f64 1 (*.f64 z z)))
6.0ms
(+.f64 1 (*.f64 z z))
Compiler

Compiled 997 to 708 computations (29% saved)

simplify107.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
566×associate-/l*_binary64
557×associate-/r*_binary64
352×associate-/l/_binary64
283×associate-*l/_binary64
251×cancel-sign-sub-inv_binary64
Counts
116 → 87
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01612068
13881798
212661790
342691790
448091790
550661790

prune49.0ms (1.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New80787
Fresh000
Picked011
Done000
Total80888
Error
4.1b
Counts
88 → 8
Alt Table
StatusErrorProgram
▶5.5b
(/.f64 (/.f64 1 (*.f64 y x)) (+.f64 1 (*.f64 z z)))
25.9b
(/.f64 (/.f64 1 x) (cbrt.f64 (pow.f64 (*.f64 y (+.f64 1 (*.f64 z z))) 3)))
✓5.6b
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
23.6b
(*.f64 (sqrt.f64 (/.f64 1 (*.f64 (*.f64 y (+.f64 1 (*.f64 z z))) x))) (sqrt.f64 (/.f64 1 (*.f64 (*.f64 y (+.f64 1 (*.f64 z z))) x))))
6.2b
(/.f64 (/.f64 1 x) (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (+.f64 1 (*.f64 z z)) (cbrt.f64 y))))
34.5b
(/.f64 1 (*.f64 y (*.f64 (*.f64 z z) x)))
23.2b
(*.f64 (/.f64 (/.f64 1 (*.f64 y x)) (-.f64 1 (pow.f64 z 4))) (-.f64 1 (*.f64 z z)))
6.7b
(*.f64 (*.f64 (cbrt.f64 (/.f64 1 (*.f64 (*.f64 y (+.f64 1 (*.f64 z z))) x))) (cbrt.f64 (/.f64 1 (*.f64 (*.f64 y (+.f64 1 (*.f64 z z))) x)))) (cbrt.f64 (/.f64 1 (*.f64 (*.f64 y (+.f64 1 (*.f64 z z))) x))))
Compiler

Compiled 1077 to 646 computations (40% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 1 (*.f64 z z))
0.6b
(/.f64 1 (*.f64 y x))
5.1b
(/.f64 (/.f64 1 (*.f64 y x)) (+.f64 1 (*.f64 z z)))

rewrite117.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Error
4.1b
Rules
36×times-frac_binary64
33×add-exp-log_binary64
21×*-un-lft-identity_binary64
21×add-sqr-sqrt_binary64
21×add-cube-cbrt_binary64
Counts
3 → 93
Calls

3 calls:

7.0ms
(/.f64 (/.f64 1 (*.f64 y x)) (+.f64 1 (*.f64 z z)))
3.0ms
(/.f64 1 (*.f64 y x))
2.0ms
(+.f64 1 (*.f64 z z))
Compiler

Compiled 1671 to 922 computations (44.8% saved)

series74.0ms (1.8%)

Error
4.1b
Counts
3 → 28
Calls

3 calls:

46.0ms
(/.f64 (/.f64 1 (*.f64 y x)) (+.f64 1 (*.f64 z z)))
10.0ms
(/.f64 1 (*.f64 y x))
6.0ms
(+.f64 1 (*.f64 z z))
Compiler

Compiled 960 to 671 computations (30.1% saved)

simplify162.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
800×times-frac_binary64
432×associate-/r*_binary64
390×associate-/l*_binary64
370×associate-*l*_binary64
339×associate-*r*_binary64
Counts
121 → 79
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01542238
13712015
210132009
339622009
444812009
549672009
649992009
749112009

prune39.0ms (0.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New77279
Fresh426
Picked011
Done011
Total81687
Error
4.1b
Counts
87 → 6
Alt Table
StatusErrorProgram
✓5.5b
(/.f64 (/.f64 1 (*.f64 y x)) (+.f64 1 (*.f64 z z)))
25.9b
(/.f64 (/.f64 1 x) (cbrt.f64 (pow.f64 (*.f64 y (+.f64 1 (*.f64 z z))) 3)))
6.2b
(/.f64 (/.f64 1 x) (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (+.f64 1 (*.f64 z z)) (cbrt.f64 y))))
▶5.0b
(/.f64 (/.f64 1 y) (+.f64 x (*.f64 (*.f64 z z) x)))
5.7b
(*.f64 (/.f64 (/.f64 1 y) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 z z))) (cbrt.f64 (+.f64 1 (*.f64 z z))))) (/.f64 (/.f64 1 x) (cbrt.f64 (+.f64 1 (*.f64 z z)))))
✓5.6b
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
Compiler

Compiled 815 to 428 computations (47.5% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 x (*.f64 (*.f64 z z) x))
3.1b
(/.f64 (/.f64 1 y) (+.f64 x (*.f64 (*.f64 z z) x)))
5.4b
(*.f64 (*.f64 z z) x)

rewrite110.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Error
2.2b
Rules
119×times-frac_binary64
75×*-un-lft-identity_binary64
61×add-sqr-sqrt_binary64
60×add-cube-cbrt_binary64
17×add-exp-log_binary64
Counts
3 → 134
Calls

3 calls:

7.0ms
(/.f64 (/.f64 1 y) (+.f64 x (*.f64 (*.f64 z z) x)))
4.0ms
(*.f64 (*.f64 z z) x)
2.0ms
(+.f64 x (*.f64 (*.f64 z z) x))
Compiler

Compiled 2742 to 1085 computations (60.4% saved)

series85.0ms (2%)

Error
4.1b
Counts
3 → 31
Calls

3 calls:

45.0ms
(/.f64 (/.f64 1 y) (+.f64 x (*.f64 (*.f64 z z) x)))
14.0ms
(*.f64 (*.f64 z z) x)
13.0ms
(+.f64 x (*.f64 (*.f64 z z) x))
Compiler

Compiled 1040 to 726 computations (30.2% saved)

simplify184.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
569×times-frac_binary64
469×cancel-sign-sub-inv_binary64
385×associate-/r*_binary64
300×associate-/l*_binary64
269×*-commutative_binary64
Counts
165 → 124
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01923721
14393545
212023531
337983531
449273531
549883531
649613531

prune160.0ms (3.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1222124
Fresh123
Picked101
Done022
Total1246130
Error
3.8b
Counts
130 → 6
Alt Table
StatusErrorProgram
✓5.5b
(/.f64 (/.f64 1 (*.f64 y x)) (+.f64 1 (*.f64 z z)))
25.9b
(/.f64 (/.f64 1 x) (cbrt.f64 (pow.f64 (*.f64 y (+.f64 1 (*.f64 z z))) 3)))
6.2b
(/.f64 (/.f64 1 x) (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (+.f64 1 (*.f64 z z)) (cbrt.f64 y))))
✓5.6b
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
▶5.0b
(/.f64 (/.f64 -1 y) (*.f64 x (-.f64 -1 (*.f64 z z))))
50.0b
(/.f64 (/.f64 1 y) (+.f64 x (*.f64 (*.f64 z (*.f64 z (sqrt.f64 x))) (sqrt.f64 x))))
Compiler

Compiled 1251 to 553 computations (55.8% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 -1 (*.f64 z z))
3.1b
(/.f64 (/.f64 -1 y) (*.f64 x (-.f64 -1 (*.f64 z z))))
3.6b
(*.f64 x (-.f64 -1 (*.f64 z z)))

rewrite77.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
3.8b
Rules
31×times-frac_binary64
23×add-sqr-sqrt_binary64
19×*-un-lft-identity_binary64
19×add-cube-cbrt_binary64
17×add-cbrt-cube_binary64
Counts
3 → 86
Calls

3 calls:

8.0ms
(/.f64 (/.f64 -1 y) (*.f64 x (-.f64 -1 (*.f64 z z))))
5.0ms
(*.f64 x (-.f64 -1 (*.f64 z z)))
2.0ms
(-.f64 -1 (*.f64 z z))
Compiler

Compiled 1601 to 937 computations (41.5% saved)

series86.0ms (2.1%)

Error
3.8b
Counts
3 → 31
Calls

3 calls:

41.0ms
(/.f64 (/.f64 -1 y) (*.f64 x (-.f64 -1 (*.f64 z z))))
18.0ms
(*.f64 x (-.f64 -1 (*.f64 z z)))
7.0ms
(-.f64 -1 (*.f64 z z))
Compiler

Compiled 1061 to 766 computations (27.8% saved)

simplify75.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
709×associate-/l*_binary64
597×associate-/l/_binary64
279×associate-/r/_binary64
241×distribute-rgt-in_binary64
236×distribute-lft-in_binary64
Counts
117 → 90
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02072134
14661892
216811859
353121859

prune54.0ms (1.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New88290
Fresh123
Picked011
Done022
Total89796
Error
3.8b
Counts
96 → 7
Alt Table
StatusErrorProgram
50.0b
(/.f64 (/.f64 1 y) (+.f64 x (*.f64 (*.f64 z (*.f64 z (sqrt.f64 x))) (sqrt.f64 x))))
48.1b
(/.f64 (sqrt.f64 (/.f64 -1 y)) (/.f64 x (/.f64 (sqrt.f64 (/.f64 -1 y)) (-.f64 -1 (*.f64 z z)))))
6.2b
(/.f64 (/.f64 1 x) (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (+.f64 1 (*.f64 z z)) (cbrt.f64 y))))
5.5b
(/.f64 (/.f64 1 (*.f64 y x)) (+.f64 1 (*.f64 z z)))
5.6b
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
5.0b
(/.f64 (/.f64 -1 y) (*.f64 x (-.f64 -1 (*.f64 z z))))
5.6b
(/.f64 -1 (*.f64 (*.f64 x y) (-.f64 -1 (*.f64 z z))))
Compiler

Compiled 1014 to 606 computations (40.2% saved)

regimes1.4s (34%)

Accuracy

Total -0.6b remaining (-17.1%)

Threshold costs -0.6b (-17.1%)

Compiler

Compiled 25972 to 18188 computations (30% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
1×+-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01016
11516
21416

end6.0ms (0.1%)

Remove

(sort x y)

Compiler

Compiled 42 to 27 computations (35.7% saved)

sample737.0ms (17.6%)

Algorithm
1×intervals
Results
388.0ms8000×body128valid
24.0ms497×body128invalid
Compiler

Compiled 147 to 102 computations (30.6% saved)

Profiling

Loading profile data...