Details

Time bar (total: 3.7s)

analyze246.0ms (6.6%)

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
34.3%40.6%25.1%7
35.9%39%25.1%8
42.1%32.8%25.1%9
42.9%19.5%37.6%10
43.3%19.1%37.6%11
45%17.5%37.6%12
45.1%10.3%44.6%13
45.2%10.2%44.6%14
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample1.2s (31.4%)

Results
969.0ms8256×body128valid
165.0ms1511×body128invalid
Compiler

Compiled 41 to 32 computations (22% saved)

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
10×fma-def_binary64
8×*-commutative_binary64
2×associate-*r*_binary64
2×associate-*l*_binary64
2×distribute-lft-in_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01212
12310
23810
34810
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0.1b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.1b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 z))))
Compiler

Compiled 46 to 33 computations (28.3% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (*.f64 y (sqrt.f64 z)))
✓0.3b
(*.f64 y (sqrt.f64 z))

series21.0ms (0.6%)

Counts
2 → 16
Calls

2 calls:

13.0ms
(+.f64 x (*.f64 y (sqrt.f64 z)))
8.0ms
(*.f64 y (sqrt.f64 z))

rewrite44.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
791×prod-diff_binary64
729×log1p-expm1-u_binary64
729×expm1-log1p-u_binary64
75×add-sqr-sqrt_binary64
71×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0715
114813
2197213
Stop Event
1×node limit
Counts
2 → 50
Calls

2 calls:

43.0ms
(+.f64 x (*.f64 y (sqrt.f64 z)))
43.0ms
(*.f64 y (sqrt.f64 z))

simplify7.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0785
11085
21185
Stop Event
1×saturated
Counts
66 → 53

prune37.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New49453
Fresh000
Picked011
Done000
Total49554
Error
0.1b
Counts
54 → 5
Alt Table
StatusErrorProgram
✓0.1b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 z))))
▶0.6b
(*.f64 (/.f64 1 2) (+.f64 x (pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z))) 3)))
37.6b
(*.f64 (/.f64 1 2) (cbrt.f64 (pow.f64 (fma.f64 y (sqrt.f64 z) x) 3)))
37.7b
(*.f64 (/.f64 1 2) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (sqrt.f64 z)) 3)) (fma.f64 x x (*.f64 (*.f64 y (sqrt.f64 z)) (-.f64 (*.f64 y (sqrt.f64 z)) x)))))
31.0b
(*.f64 (/.f64 1 2) (/.f64 1 (/.f64 (-.f64 x (*.f64 y (sqrt.f64 z))) (-.f64 (*.f64 x x) (*.f64 z (*.f64 y y))))))
Compiler

Compiled 1001 to 519 computations (48.2% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z))) 3))
0.3b
(*.f64 y (sqrt.f64 z))
✓0.7b
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z))) 3)
✓2.9b
(cbrt.f64 (*.f64 y (sqrt.f64 z)))

series658.0ms (17.7%)

Counts
3 → 65
Calls

3 calls:

330.0ms
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z))) 3)
308.0ms
(cbrt.f64 (*.f64 y (sqrt.f64 z)))
20.0ms
(+.f64 x (pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z))) 3))

rewrite49.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
896×log1p-expm1-u_binary64
896×expm1-log1p-u_binary64
95×egg-rr
93×add-sqr-sqrt_binary64
89×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01023
121021
2248921
Stop Event
1×node limit
Counts
3 → 95
Calls

3 calls:

47.0ms
(+.f64 x (pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z))) 3))
47.0ms
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z))) 3)
47.0ms
(cbrt.f64 (*.f64 y (sqrt.f64 z)))

simplify89.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
1160×unswap-sqr_binary64
382×sqr-pow_binary64
355×*-commutative_binary64
256×associate-*l*_binary64
210×associate-*r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
019476
140476
284476
3229476
4951476
51668476
61727476
71832476
81968476
92106476
102272476
114137476
124488476
134855476
Stop Event
1×node limit
Counts
160 → 102

prune83.0ms (2.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1105115
Fresh213
Picked101
Done011
Total1137120
Error
0.0b
Counts
120 → 7
Alt Table
StatusErrorProgram
0.6b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (*.f64 (sqrt.f64 z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))))
0.5b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (*.f64 y (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))))
✓0.1b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 z))))
▶0.3b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (pow.f64 z 1/4) (*.f64 (pow.f64 z 1/4) y))))
0.6b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (sqrt.f64 z)))))
37.6b
(*.f64 (/.f64 1 2) (cbrt.f64 (pow.f64 (fma.f64 y (sqrt.f64 z) x) 3)))
0.8b
(*.f64 (/.f64 1 2) (+.f64 x (pow.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 (sqrt.f64 z))) 3)))
Compiler

Compiled 2110 to 1138 computations (46.1% saved)

localize11.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (*.f64 (pow.f64 z 1/4) (*.f64 (pow.f64 z 1/4) y)))
✓0.2b
(*.f64 (pow.f64 z 1/4) y)
✓0.3b
(*.f64 (pow.f64 z 1/4) (*.f64 (pow.f64 z 1/4) y))

series208.0ms (5.6%)

Counts
3 → 61
Calls

3 calls:

188.0ms
(*.f64 (pow.f64 z 1/4) y)
12.0ms
(+.f64 x (*.f64 (pow.f64 z 1/4) (*.f64 (pow.f64 z 1/4) y)))
8.0ms
(*.f64 (pow.f64 z 1/4) (*.f64 (pow.f64 z 1/4) y))

rewrite46.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
939×prod-diff_binary64
255×fma-def_binary64
172×expm1-udef_binary64
172×log1p-udef_binary64
126×fma-neg_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0936
119720
2255120
Stop Event
1×node limit
Counts
3 → 82
Calls

3 calls:

44.0ms
(+.f64 x (*.f64 (pow.f64 z 1/4) (*.f64 (pow.f64 z 1/4) y)))
44.0ms
(*.f64 (pow.f64 z 1/4) y)
44.0ms
(*.f64 (pow.f64 z 1/4) (*.f64 (pow.f64 z 1/4) y))

simplify36.0ms (1%)

Algorithm
1×egg-herbie
Rules
512×div-sub_binary64
480×fma-def_binary64
338×fma-neg_binary64
318×times-frac_binary64
161×exp-sum_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
019388
135388
264388
3159388
4431388
51231388
62928388
Stop Event
1×node limit
Counts
143 → 88

prune70.0ms (1.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New86288
Fresh145
Picked011
Done011
Total87895
Error
0.0b
Counts
95 → 8
Alt Table
StatusErrorProgram
34.6b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (pow.f64 z 1/4) (pow.f64 (*.f64 (sqrt.f64 y) (pow.f64 z 1/8)) 2))))
▶0.5b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (*.f64 y (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))))
✓0.1b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 z))))
✓0.3b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (pow.f64 z 1/4) (*.f64 (pow.f64 z 1/4) y))))
0.6b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (sqrt.f64 z)))))
37.6b
(*.f64 (/.f64 1 2) (cbrt.f64 (pow.f64 (fma.f64 y (sqrt.f64 z) x) 3)))
0.8b
(*.f64 (/.f64 1 2) (+.f64 x (pow.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 (sqrt.f64 z))) 3)))
0.6b
(*.f64 (/.f64 1 2) (fma.f64 (*.f64 (sqrt.f64 z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) x))
Compiler

Compiled 1662 to 988 computations (40.6% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 y (cbrt.f64 z))
✓0.3b
(*.f64 (*.f64 y (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
✓0.6b
(cbrt.f64 z)
✓0.6b
(cbrt.f64 (sqrt.f64 z))

series260.0ms (7%)

Counts
4 → 56
Calls

4 calls:

194.0ms
(*.f64 y (cbrt.f64 z))
28.0ms
(cbrt.f64 z)
20.0ms
(*.f64 (*.f64 y (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
18.0ms
(cbrt.f64 (sqrt.f64 z))

rewrite41.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
611×log1p-expm1-u_binary64
611×expm1-log1p-u_binary64
371×log-prod_binary64
125×log-pow_binary64
125×expm1-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0827
115519
2177819
Stop Event
1×node limit
Counts
4 → 90
Calls

4 calls:

40.0ms
(*.f64 y (cbrt.f64 z))
40.0ms
(*.f64 (*.f64 y (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
40.0ms
(cbrt.f64 z)
40.0ms
(cbrt.f64 (sqrt.f64 z))

simplify74.0ms (2%)

Algorithm
1×egg-herbie
Rules
659×sqr-pow_binary64
621×associate-*l*_binary64
428×unswap-sqr_binary64
400×*-commutative_binary64
384×associate-*r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
017340
137340
270340
3155340
4467340
51754340
62689340
72811340
83003340
93234340
103565340
114025340
124626340
Stop Event
1×node limit
Counts
146 → 98

prune89.0ms (2.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New97198
Fresh235
Picked011
Done022
Total997106
Error
0.0b
Counts
106 → 7
Alt Table
StatusErrorProgram
34.6b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (pow.f64 z 1/4) (pow.f64 (*.f64 (sqrt.f64 y) (pow.f64 z 1/8)) 2))))
✓0.5b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (*.f64 y (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))))
✓0.1b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 z))))
✓0.3b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (pow.f64 z 1/4) (*.f64 (pow.f64 z 1/4) y))))
0.6b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (sqrt.f64 z)))))
0.6b
(*.f64 (/.f64 1 2) (+.f64 x (pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 z) y)) 3)))
0.6b
(*.f64 (/.f64 1 2) (fma.f64 (*.f64 (sqrt.f64 z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) x))
Compiler

Compiled 1829 to 1056 computations (42.3% saved)

regimes348.0ms (9.3%)

Accuracy

Total 0.1b remaining (74.2%)

Threshold costs 0.1b (74.2%)

Counts
47 → 1
Compiler

Compiled 6343 to 4597 computations (27.5% saved)

simplify2.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
01212
11712
Stop Event
1×saturated

end98.0ms (2.6%)

Compiler

Compiled 144 to 110 computations (23.6% saved)

Profiling

Loading profile data...