Details

Time bar (total: 11.5s)

analyze3.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.7%0.3%0
99.7%0%0.3%1
Compiler

Compiled 28 to 27 computations (3.6% saved)

sample159.0ms (1.4%)

Algorithm
1×intervals
Results
68.0ms52×body2560valid
45.0ms68×body1280valid
16.0ms37×body640valid
7.0ms70×body80valid
5.0ms16×body320valid
3.0ms13×body160valid
Compiler

Compiled 55 to 59 computations (-7.3% saved)

simplify48.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
099135
199135

prune12.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 42.9b

Counts
2 → 2
Compiler

Compiled 73 to 70 computations (4.1% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.8b
(*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
1.9b
(*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))
33.4b
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
35.4b
(cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))

rewrite29.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
14×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
10×*-un-lft-identity_binary64
8×associate-*r*_binary64
6×pow-prod-down_binary64 cbrt-unprod_binary64 add-cube-cbrt_binary64 prod-exp_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 associate-*r/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 cos-sum_binary64
2×flip3-+_binary64 distribute-lft-out_binary64 associate-*l*_binary64 flip-+_binary64 *-commutative_binary64
Counts
4 → 64
Calls

4 calls:

10.0ms
(*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))
10.0ms
(*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
4.0ms
(cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
4.0ms
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))

series39.0ms (0.3%)

Counts
4 → 12
Calls

4 calls:

11.0ms
(*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
10.0ms
(*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))
9.0ms
(cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
9.0ms
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))

simplify94.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
055751262

prune195.0ms (1.7%)

Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New542276
Fresh101
Picked101
Done000
Total562278

Merged error: 38.7b

Counts
78 → 22
Compiler

Compiled 2842 to 1989 computations (30% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
1.8b
(*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
33.4b
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))

rewrite20.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
10×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
8×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
7×associate-*r*_binary64
6×add-cube-cbrt_binary64
4×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*l*_binary64 prod-exp_binary64
3×add-log-exp_binary64
2×associate-*r/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 cos-sum_binary64 *-commutative_binary64
1×flip3-+_binary64 distribute-lft-out_binary64 unswap-sqr_binary64 flip-+_binary64
Counts
3 → 50
Calls

3 calls:

10.0ms
(*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
5.0ms
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
4.0ms
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))

series38.0ms (0.3%)

Counts
3 → 9
Calls

3 calls:

19.0ms
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
10.0ms
(*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
9.0ms
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))

simplify75.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
050721052

prune178.0ms (1.5%)

Pruning

31 alts after pruning (31 fresh and 0 done)

PrunedKeptTotal
New461359
Fresh31821
Picked101
Done000
Total503181

Merged error: 37.2b

Counts
81 → 31
Compiler

Compiled 2055 to 1596 computations (22.3% saved)

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify12.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
000

prune110.0ms (1%)

Pruning

31 alts after pruning (30 fresh and 1 done)

PrunedKeptTotal
New000
Fresh03030
Picked011
Done000
Total03131

Merged error: 37.2b

Counts
31 → 31
Compiler

Compiled 910 to 816 computations (10.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 (*.f64 z t) 1/16)
0.1b
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16)))
27.6b
(cos.f64 (*.f64 (*.f64 z t) 1/16))

rewrite14.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
10×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
8×add-sqr-sqrt_binary64
6×*-un-lft-identity_binary64 associate-*r*_binary64 add-cube-cbrt_binary64
4×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*l*_binary64 prod-exp_binary64
3×add-log-exp_binary64
2×*-commutative_binary64
1×unswap-sqr_binary64
Counts
3 → 43
Calls

3 calls:

5.0ms
(*.f64 (*.f64 z t) 1/16)
5.0ms
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16)))
3.0ms
(cos.f64 (*.f64 (*.f64 z t) 1/16))

series17.0ms (0.1%)

Counts
3 → 9
Calls

3 calls:

9.0ms
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16)))
4.0ms
(*.f64 (*.f64 z t) 1/16)
4.0ms
(cos.f64 (*.f64 (*.f64 z t) 1/16))

simplify73.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
04889582
14889582

prune45.0ms (0.4%)

Pruning

38 alts after pruning (37 fresh and 1 done)

PrunedKeptTotal
New401252
Fresh42529
Picked101
Done011
Total453883

Merged error: 36.9b

Counts
83 → 38
Compiler

Compiled 705 to 460 computations (34.8% saved)

regimes1.2s (10.4%)

Compiler

Compiled 6030 to 5634 computations (6.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
071
171

end0.0ms (0%)

sample9.1s (79%)

Algorithm
1×intervals
Results
2.2s1765×body2560valid
1.6s2274×body1280valid
589.0ms1250×body640valid
203.0ms1851×body80valid
198.0ms588×body320valid
103.0ms36×body5120valid
54.0ms236×body160valid
Compiler

Compiled 1052 to 987 computations (6.2% saved)

Profiling

Loading profile data...