Details

Time bar (total: 2.9s)

analyze241.0ms (8.3%)

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.1s (39.4%)

Results
965.0ms8256×body128valid
162.0ms1460×body128invalid
Compiler

Compiled 28 to 22 computations (21.4% saved)

preprocess21.0ms (0.7%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02348
15940
211340
314940
033
Stop Event
1×saturated
1×saturated
Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify7.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

prune7.0ms (0.2%)

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 1 expressions with local error:

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

series8.0ms (0.3%)

Counts
1 → 0
Calls

6 calls:

2.0ms
(*.f64 y (sqrt.f64 z))
z
0
2.0ms
(*.f64 y (sqrt.f64 z))
z
-inf
2.0ms
(*.f64 y (sqrt.f64 z))
z
inf
1.0ms
(*.f64 y (sqrt.f64 z))
y
-inf
1.0ms
(*.f64 y (sqrt.f64 z))
y
inf

rewrite34.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
405×log1p-expm1-u_binary64
405×expm1-log1p-u_binary64
329×unpow-prod-down_binary64
235×log-prod_binary64
154×pow-prod-down_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
1986
211456
Stop Event
1×node limit
Counts
1 → 21

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
Stop Event
1×saturated
Counts
21 → 21

prune19.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New17421
Fresh000
Picked011
Done000
Total17522
Error
0.1b
Counts
22 → 5
Alt Table
StatusErrorProgram
22.3b
(*.f64 (/.f64 1 2) (+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 z)) 3))))
✓0.1b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 z))))
28.1b
(*.f64 (/.f64 1 2) (+.f64 x (sqrt.f64 (*.f64 z (*.f64 y y)))))
26.2b
(*.f64 (/.f64 1 2) (+.f64 x (pow.f64 (sqrt.f64 (*.f64 y (sqrt.f64 z))) 2)))
▶0.7b
(*.f64 (/.f64 1 2) (+.f64 x (pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z))) 3)))
Compiler

Compiled 440 to 288 computations (34.5% saved)

localize11.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.2b
(*.f64 y (sqrt.f64 z))
✓0.7b
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z))) 3)
✓5.0b
(cbrt.f64 (*.f64 y (sqrt.f64 z)))

series184.0ms (6.4%)

Counts
2 → 16
Calls

12 calls:

32.0ms
(cbrt.f64 (*.f64 y (sqrt.f64 z)))
z
0
29.0ms
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z))) 3)
z
inf
27.0ms
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z))) 3)
y
-inf
26.0ms
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z))) 3)
z
0
22.0ms
(cbrt.f64 (*.f64 y (sqrt.f64 z)))
z
inf

rewrite41.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
578×log1p-expm1-u_binary64
578×expm1-log1p-u_binary64
312×log-prod_binary64
165×pow2_binary64
116×expm1-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0814
116014
2166214
Stop Event
1×node limit
Counts
2 → 60

simplify77.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
735×associate-*l*_binary64
660×sqr-pow_binary64
516×associate-*r*_binary64
457×*-commutative_binary64
252×unswap-sqr_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010120
121120
241120
3105120
4438120
52391120
62450120
72582120
82745120
92930120
103178120
113752120
124146120
134664120
Stop Event
1×node limit
Counts
76 → 62

prune76.0ms (2.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New78583
Fresh123
Picked101
Done011
Total80888
Error
0.0b
Counts
88 → 8
Alt Table
StatusErrorProgram
22.3b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (*.f64 (cbrt.f64 (*.f64 z (*.f64 y y))) (cbrt.f64 (cbrt.f64 (*.f64 z (*.f64 y y))))) (cbrt.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z)))))))
22.3b
(*.f64 (/.f64 1 2) (+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 z)) 3))))
✓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))))
26.2b
(*.f64 (/.f64 1 2) (+.f64 x (pow.f64 (sqrt.f64 (*.f64 y (sqrt.f64 z))) 2)))
0.4b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (*.f64 y (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))))
0.5b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 (sqrt.f64 z)) y))))
0.7b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (sqrt.f64 z)))))
Compiler

Compiled 1660 to 970 computations (41.6% saved)

localize10.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series201.0ms (6.9%)

Counts
2 → 36
Calls

12 calls:

64.0ms
(*.f64 (pow.f64 z 1/4) y)
y
0
54.0ms
(*.f64 (pow.f64 z 1/4) y)
y
inf
46.0ms
(*.f64 (pow.f64 z 1/4) y)
y
-inf
11.0ms
(*.f64 (pow.f64 z 1/4) y)
z
inf
8.0ms
(*.f64 (pow.f64 z 1/4) y)
z
-inf

rewrite41.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
593×log1p-expm1-u_binary64
593×expm1-log1p-u_binary64
341×log-prod_binary64
124×pow1/3_binary64
123×expm1-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0720
114713
2170113
Stop Event
1×node limit
Counts
2 → 40

simplify37.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
498×div-sub_binary64
473×fma-def_binary64
322×fma-neg_binary64
317×times-frac_binary64
161×exp-sum_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016240
131240
259240
3155240
4426240
51226240
62915240
Stop Event
1×node limit
Counts
76 → 43

prune48.0ms (1.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New43043
Fresh066
Picked011
Done011
Total43851
Error
0.0b
Counts
51 → 8
Alt Table
StatusErrorProgram
22.3b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (*.f64 (cbrt.f64 (*.f64 z (*.f64 y y))) (cbrt.f64 (cbrt.f64 (*.f64 z (*.f64 y y))))) (cbrt.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z)))))))
22.3b
(*.f64 (/.f64 1 2) (+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 z)) 3))))
✓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))))
26.2b
(*.f64 (/.f64 1 2) (+.f64 x (pow.f64 (sqrt.f64 (*.f64 y (sqrt.f64 z))) 2)))
▶0.4b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (*.f64 y (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))))
0.5b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 (sqrt.f64 z)) y))))
0.7b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (sqrt.f64 z)))))
Compiler

Compiled 1014 to 722 computations (28.8% saved)

localize10.0ms (0.4%)

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.5b
(cbrt.f64 z)
✓0.6b
(cbrt.f64 (sqrt.f64 z))

series114.0ms (3.9%)

Counts
4 → 32
Calls

18 calls:

19.0ms
(*.f64 (*.f64 y (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
z
-inf
14.0ms
(*.f64 y (cbrt.f64 z))
y
inf
14.0ms
(*.f64 y (cbrt.f64 z))
y
0
13.0ms
(*.f64 y (cbrt.f64 z))
y
-inf
12.0ms
(*.f64 y (cbrt.f64 z))
z
-inf

rewrite49.0ms (1.7%)

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

simplify74.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
728×sqr-pow_binary64
362×unswap-sqr_binary64
334×associate-*l*_binary64
325×cube-prod_binary64
313×pow-sqr_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010176
120176
234176
373176
4227176
5981176
61719176
71809176
81945176
92106176
102339176
112664176
123088176
133591176
144191176
154916176
Stop Event
1×node limit
Counts
122 → 93

prune101.0ms (3.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New91293
Fresh055
Picked101
Done022
Total929101
Error
0.0b
Counts
101 → 9
Alt Table
StatusErrorProgram
22.3b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (*.f64 (cbrt.f64 (*.f64 z (*.f64 y y))) (cbrt.f64 (cbrt.f64 (*.f64 z (*.f64 y y))))) (cbrt.f64 (cbrt.f64 (*.f64 y (sqrt.f64 z)))))))
22.3b
(*.f64 (/.f64 1 2) (+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 z)) 3))))
✓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))))
26.2b
(*.f64 (/.f64 1 2) (+.f64 x (pow.f64 (sqrt.f64 (*.f64 y (sqrt.f64 z))) 2)))
0.5b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 (sqrt.f64 z)) y))))
0.7b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (sqrt.f64 z)))))
17.0b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (*.f64 y (sqrt.f64 (cbrt.f64 (*.f64 z z)))) (cbrt.f64 (sqrt.f64 z)))))
0.4b
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (*.f64 y (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)))))
Compiler

Compiled 1783 to 1028 computations (42.3% saved)

regimes209.0ms (7.2%)

Accuracy

Total 0.1b remaining (62.8%)

Threshold costs 0.1b (62.8%)

Counts
27 → 1
Compiler

Compiled 3508 to 2658 computations (24.2% 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

end122.0ms (4.2%)

Stop Event
1×fuel
Compiler

Compiled 188 to 138 computations (26.6% saved)

Profiling

Loading profile data...