Details

Time bar (total: 35.1s)

analyze3.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 53 to 38 computations (28.3% saved)

sample1.2s (3.3%)

Symmetry

(sort a b c d e)

Results
1.1s8256×body128valid
Compiler

Compiled 120 to 85 computations (29.2% saved)

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Rules
125×associate-+l+_binary64
97×associate-+r+_binary64
51×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
12013
25913
318813
433913
533913
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.2b
(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))
0.4b
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
Compiler

Compiled 79 to 49 computations (38% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.2b
(+.f64 a (+.f64 d b))
✓0.2b
(+.f64 c (+.f64 a (+.f64 d b)))
✓0.2b
(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))

series18.0ms (0.1%)

Counts
3 → 81
Calls

3 calls:

9.0ms
(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))
5.0ms
(+.f64 c (+.f64 a (+.f64 d b)))
4.0ms
(+.f64 a (+.f64 d b))

rewrite61.0ms (0.2%)

Algorithm
1×batch-egg-rewrite
Rules
426×fma-neg_binary64
236×expm1-udef_binary64
236×log1p-udef_binary64
128×add-sqr-sqrt_binary64
127×log1p-expm1-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01030
124230
2389930
Stop Event
1×node limit
Counts
3 → 111
Calls

3 calls:

58.0ms
(+.f64 a (+.f64 d b))
58.0ms
(+.f64 c (+.f64 a (+.f64 d b)))
58.0ms
(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))

simplify21.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
125×associate-+l+_binary64
56×associate-+r+_binary64
36×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
024699
157699
2139699
3251699
4262699
Stop Event
1×saturated
Counts
192 → 135

prune122.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1323135
Fresh011
Picked011
Done000
Total1325137
Error
0b
Counts
137 → 5
Alt Table
StatusErrorProgram
0.4b
(/.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3))))
✓0.2b
(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))
0.4b
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
▶0.3b
(+.f64 e (fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a (+.f64 d b))))
0.4b
(+.f64 e (exp.f64 (log.f64 (+.f64 (+.f64 c (+.f64 d b)) a))))
Compiler

Compiled 2366 to 728 computations (69.2% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a (+.f64 d b)))
✓0.2b
(+.f64 e (fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a (+.f64 d b))))
✓0.5b
(pow.f64 (cbrt.f64 c) 2)
✓0.5b
(cbrt.f64 c)

series220.0ms (0.6%)

Counts
4 → 90
Calls

4 calls:

106.0ms
(+.f64 e (fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a (+.f64 d b))))
83.0ms
(fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a (+.f64 d b)))
21.0ms
(pow.f64 (cbrt.f64 c) 2)
9.0ms
(cbrt.f64 c)

rewrite54.0ms (0.2%)

Algorithm
1×batch-egg-rewrite
Rules
312×fma-neg_binary64
258×expm1-udef_binary64
258×log1p-udef_binary64
145×add-sqr-sqrt_binary64
142×log1p-expm1-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01332
129032
2398132
Stop Event
1×node limit
Counts
4 → 101
Calls

4 calls:

52.0ms
(fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a (+.f64 d b)))
52.0ms
(+.f64 e (fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a (+.f64 d b))))
52.0ms
(pow.f64 (cbrt.f64 c) 2)
52.0ms
(cbrt.f64 c)

simplify24.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
125×associate-+l+_binary64
56×associate-+r+_binary64
36×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
024864
157864
2139864
3251864
4262864
Stop Event
1×saturated
Counts
191 → 120

prune118.0ms (0.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1421143
Fresh123
Picked011
Done011
Total1435148
Error
0b
Counts
148 → 5
Alt Table
StatusErrorProgram
▶0.3b
(+.f64 c (+.f64 b (+.f64 a (+.f64 d e))))
0.4b
(/.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3))))
✓0.2b
(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))
✓0.3b
(+.f64 e (fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a (+.f64 d b))))
0.4b
(+.f64 e (exp.f64 (log.f64 (+.f64 (+.f64 c (+.f64 d b)) a))))
Compiler

Compiled 2419 to 781 computations (67.7% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.2b
(+.f64 c (+.f64 b (+.f64 a (+.f64 d e))))
✓0.2b
(+.f64 a (+.f64 d e))
✓0.3b
(+.f64 b (+.f64 a (+.f64 d e)))

series16.0ms (0%)

Counts
3 → 117
Calls

3 calls:

7.0ms
(+.f64 c (+.f64 b (+.f64 a (+.f64 d e))))
5.0ms
(+.f64 b (+.f64 a (+.f64 d e)))
4.0ms
(+.f64 a (+.f64 d e))

rewrite60.0ms (0.2%)

Algorithm
1×batch-egg-rewrite
Rules
426×fma-neg_binary64
236×expm1-udef_binary64
236×log1p-udef_binary64
128×add-sqr-sqrt_binary64
127×log1p-expm1-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01030
124230
2389930
Stop Event
1×node limit
Counts
3 → 111
Calls

3 calls:

57.0ms
(+.f64 c (+.f64 b (+.f64 a (+.f64 d e))))
57.0ms
(+.f64 a (+.f64 d e))
57.0ms
(+.f64 b (+.f64 a (+.f64 d e)))

simplify27.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
106×associate-+l+_binary64
58×associate-+r+_binary64
46×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0211059
1491059
21281059
32531059
42561059
Stop Event
1×saturated
Counts
228 → 138

prune115.0ms (0.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1380138
Fresh022
Picked011
Done022
Total1385143
Error
0b
Counts
143 → 5
Alt Table
StatusErrorProgram
✓0.3b
(+.f64 c (+.f64 b (+.f64 a (+.f64 d e))))
▶0.4b
(/.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3))))
✓0.2b
(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))
✓0.3b
(+.f64 e (fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a (+.f64 d b))))
0.4b
(+.f64 e (exp.f64 (log.f64 (+.f64 (+.f64 c (+.f64 d b)) a))))
Compiler

Compiled 2366 to 717 computations (69.7% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))
✓0.3b
(/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3)))
✓0.7b
(pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3)
✓1.4b
(-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e)

series23.2s (66.2%)

Counts
4 → 228
Calls

4 calls:

23.1s
(/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3)))
65.0ms
(pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3)
40.0ms
(*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))
8.0ms
(-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e)

rewrite47.0ms (0.1%)

Algorithm
1×batch-egg-rewrite
Rules
209×add-sqr-sqrt_binary64
204×log1p-expm1-u_binary64
204×expm1-log1p-u_binary64
203×add-cbrt-cube_binary64
194×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
017101
1407101
Stop Event
1×node limit
Counts
4 → 103
Calls

4 calls:

44.0ms
(*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))
44.0ms
(/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3)))
44.0ms
(pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3)
44.0ms
(-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e)

simplify2.3s (6.5%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06793401304
Stop Event
1×node limit
Counts
331 → 208

prune5.1s (14.7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New2080208
Fresh011
Picked011
Done033
Total2085213
Error
0b
Counts
213 → 5
Alt Table
StatusErrorProgram
✓0.3b
(+.f64 c (+.f64 b (+.f64 a (+.f64 d e))))
✓0.4b
(/.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3))))
✓0.2b
(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))
✓0.3b
(+.f64 e (fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a (+.f64 d b))))
0.4b
(+.f64 e (exp.f64 (log.f64 (+.f64 (+.f64 c (+.f64 d b)) a))))
Compiler

Compiled 268393 to 187824 computations (30% saved)

regimes2.2s (6.4%)

Accuracy

Total 0.2b remaining (87.9%)

Threshold costs 0.2b (87.9%)

Counts
225 → 1
Compiler

Compiled 45580 to 27038 computations (40.7% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
4×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
11413
Stop Event
1×saturated

end86.0ms (0.2%)

Remove

(sort a b c d e)

Compiler

Compiled 160 to 96 computations (40% saved)

Profiling

Loading profile data...