Details

Time bar (total: 3.4s)

analyze3.0ms (0.1%)

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

Compiled 53 to 38 computations (28.3% saved)

sample69.0ms (2%)

Algorithm
1×intervals
Symmetry

(sort a b c d e)

Results
15.0ms256×pre128true
8.0ms256×body128valid
Compiler

Compiled 72 to 52 computations (27.8% saved)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
128×associate-+l+_binary64
99×associate-+r+_binary64
56×+-commutative_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
12013
25613
314313
418813
518613
618613

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.4b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.4b
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
Compiler

Compiled 42 to 27 computations (35.7% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series24.0ms (0.7%)

Counts
3 → 144
Calls

3 calls:

14.0ms
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
6.0ms
(+.f64 (+.f64 (+.f64 e d) c) b)
4.0ms
(+.f64 (+.f64 e d) c)

rewrite26.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
50×*-un-lft-identity_binary64
31×add-log-exp_binary64
29×distribute-lft-out_binary64
19×sum-log_binary64
15×fma-def_binary64
Counts
3 → 72
Calls

3 calls:

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

simplify309.0ms (9.1%)

Algorithm
1×egg-herbie
Rules
599×associate-+l+_binary64
542×fma-neg_binary64
494×associate--l+_binary64
363×associate-+r+_binary64
350×fma-def_binary64
Counts
216 → 111
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01032097
12842070
29332052
329562052
446102052
548292052

prune237.0ms (7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1092111
Fresh000
Picked101
Done000
Total1102112
Error
0b
Counts
112 → 2
Alt Table
StatusErrorProgram
▶0.0b
(log.f64 (*.f64 (*.f64 (*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c)) (exp.f64 b)) (exp.f64 a)))
0.3b
(+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))
Compiler

Compiled 1656 to 424 computations (74.4% saved)

localize19.0ms (0.6%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (exp.f64 e) (exp.f64 d))
✓0.3b
(*.f64 (*.f64 (*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c)) (exp.f64 b)) (exp.f64 a))
✓0.3b
(*.f64 (*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c)) (exp.f64 b))
✓0.4b
(*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c))

series114.0ms (3.4%)

Counts
4 → 168
Calls

4 calls:

58.0ms
(*.f64 (*.f64 (*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c)) (exp.f64 b)) (exp.f64 a))
34.0ms
(*.f64 (*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c)) (exp.f64 b))
16.0ms
(*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c))
6.0ms
(*.f64 (exp.f64 e) (exp.f64 d))

rewrite41.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
34×add-cbrt-cube_binary64
34×pow1_binary64
23×*-un-lft-identity_binary64
20×cbrt-unprod_binary64
20×prod-exp_binary64
Counts
4 → 93
Calls

4 calls:

13.0ms
(*.f64 (*.f64 (*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c)) (exp.f64 b)) (exp.f64 a))
11.0ms
(*.f64 (*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c)) (exp.f64 b))
7.0ms
(*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c))
5.0ms
(*.f64 (exp.f64 e) (exp.f64 d))

simplify151.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
968×prod-exp_binary64
493×*-commutative_binary64
466×fma-def_binary64
440×associate-+l+_binary64
291×associate-+r+_binary64
Counts
261 → 244
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
03475120
110844130
222803920
332033914
443143914
556953914

prune120.0ms (3.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New2440244
Fresh011
Picked011
Done000
Total2442246
Error
0b
Counts
246 → 2
Alt Table
StatusErrorProgram
✓0.0b
(log.f64 (*.f64 (*.f64 (*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c)) (exp.f64 b)) (exp.f64 a)))
▶0.3b
(+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))
Compiler

Compiled 5722 to 1632 computations (71.5% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series20.0ms (0.6%)

Counts
3 → 144
Calls

3 calls:

8.0ms
(+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))
6.0ms
(+.f64 e (+.f64 (+.f64 d b) a))
5.0ms
(+.f64 (+.f64 d b) a)

rewrite22.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64
31×add-log-exp_binary64
20×distribute-lft-out_binary64
19×sum-log_binary64
10×fma-def_binary64
Counts
3 → 67
Calls

3 calls:

8.0ms
(+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))
6.0ms
(+.f64 e (+.f64 (+.f64 d b) a))
4.0ms
(+.f64 (+.f64 d b) a)

simplify93.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
585×associate-+l+_binary64
496×associate-+r+_binary64
426×fma-neg_binary64
412×fma-def_binary64
378×sub-neg_binary64
Counts
211 → 108
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0992085
12862058
211342055
337732055
449312055
548222055

prune68.0ms (2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1080108
Fresh000
Picked011
Done011
Total1082110
Error
0b
Counts
110 → 2
Alt Table
StatusErrorProgram
✓0.0b
(log.f64 (*.f64 (*.f64 (*.f64 (*.f64 (exp.f64 e) (exp.f64 d)) (exp.f64 c)) (exp.f64 b)) (exp.f64 a)))
✓0.3b
(+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))
Compiler

Compiled 1549 to 383 computations (75.3% saved)

regimes953.0ms (28.1%)

Accuracy

Total 0.0b remaining (51.3%)

Threshold costs 0.0b (51.3%)

Counts
109 → 1
Compiler

Compiled 18388 to 12292 computations (33.2% saved)

simplify4.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01625
12025
22025

end15.0ms (0.5%)

Remove

(sort a b c d e)

Compiler

Compiled 60 to 45 computations (25% saved)

sample1.1s (31.8%)

Algorithm
1×intervals
Results
427.0ms8000×pre128true
269.0ms8000×body128valid
Compiler

Compiled 112 to 82 computations (26.8% saved)

Profiling

Loading profile data...