Details

Time bar (total: 4.4s)

analyze776.0ms

Algorithm
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
0%99.9%0.1%6
18.7%81.2%0.1%7
32.8%67.1%0.1%8
38.2%61.7%0.1%9
41%58.9%0.1%10
43.9%56%0.1%11
45.4%54.5%0.1%12
46.9%53%0.1%13
47.6%52.3%0.1%14

sample78.0ms

Algorithm
intervals
Results
22.0ms43×body1280valid
17.0ms18×body2560valid
10.0ms34×body640valid
9.0ms130×body80valid
7.0ms19×body320valid
2.0ms12×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
01313
11313

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 33.9b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

5.5b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
28.4b
(tan.f64 (/.f64 x (*.f64 y 2)))
28.6b
(sin.f64 (/.f64 x (*.f64 y 2)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
9×times-frac_binary64
5×add-exp-log_binary64 add-cbrt-cube_binary64
3×associate-/r*_binary64 add-log-exp_binary64 pow1_binary64 associate-/l*_binary64
2×tan-quot_binary64
1×associate-/l/_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
3 → 43
Calls
3 calls:
6.0ms
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
2.0ms
(tan.f64 (/.f64 x (*.f64 y 2)))
2.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))

series36.0ms

Counts
3 → 9
Calls
3 calls:
18.0ms
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
14.0ms
(tan.f64 (/.f64 x (*.f64 y 2)))
4.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))

simplify43.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
05033733

prune123.0ms

Filtered
44 candidates to 52 candidates (-18.2%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New381452
Fresh000
Picked101
Done000
Total391453

Merged error: 25.8b

Counts
53 → 14

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify5.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
000

prune38.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New000
Fresh01313
Picked011
Done000
Total01414

Merged error: 25.8b

Counts
14 → 14

localize11.0ms

Local error

Found 4 expressions with local error:

5.5b
(/.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (*.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (cos.f64 (/.f64 x (*.f64 y 2)))))
28.2b
(cos.f64 (/.f64 x (*.f64 y 2)))
28.6b
(sin.f64 (/.f64 x (*.f64 y 2)))
28.6b
(sin.f64 (/.f64 x (*.f64 y 2)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
9×add-exp-log_binary64 add-cbrt-cube_binary64
6×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 pow1_binary64
3×associate-/l*_binary64 times-frac_binary64
2×cbrt-undiv_binary64 div-exp_binary64
1×associate-/r*_binary64 cbrt-unprod_binary64 associate-/r/_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 sin-cos-mult_binary64 div-inv_binary64
Counts
4 → 43
Calls
4 calls:
8.0ms
(/.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (*.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (cos.f64 (/.f64 x (*.f64 y 2)))))
2.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
2.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))
3.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))

series21.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(/.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (*.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (cos.f64 (/.f64 x (*.f64 y 2)))))
5.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
4.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))
4.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))

simplify92.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
04739538
14739538

prune118.0ms

Filtered
44 candidates to 55 candidates (-25.0%)
Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New49655
Fresh11112
Picked101
Done011
Total511869

Merged error: 25.8b

Counts
69 → 18

localize15.0ms

Local error

Found 4 expressions with local error:

5.5b
(/.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (*.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (log.f64 (exp.f64 (cos.f64 (/.f64 x (*.f64 y 2)))))))
28.2b
(cos.f64 (/.f64 x (*.f64 y 2)))
28.6b
(sin.f64 (/.f64 x (*.f64 y 2)))
28.6b
(sin.f64 (/.f64 x (*.f64 y 2)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
9×add-exp-log_binary64 add-cbrt-cube_binary64
6×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 pow1_binary64
3×associate-/l*_binary64 times-frac_binary64
2×cbrt-undiv_binary64 div-exp_binary64
1×associate-/r*_binary64 cbrt-unprod_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64
Counts
4 → 42
Calls
4 calls:
10.0ms
(/.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (*.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (log.f64 (exp.f64 (cos.f64 (/.f64 x (*.f64 y 2)))))))
3.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
2.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))
3.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))

series22.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(/.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (*.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (log.f64 (exp.f64 (cos.f64 (/.f64 x (*.f64 y 2)))))))
5.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
5.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))
4.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))

simplify94.0ms

Algorithm
egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
04781527
14781527

prune64.0ms

Filtered
44 candidates to 54 candidates (-22.7%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New51354
Fresh31316
Picked101
Done011
Total551772

Merged error: 25.8b

Counts
72 → 17

regimes522.0ms

Accuracy

37.6% (1.5b remaining)

Error of 27.4b against oracle of 25.9b and baseline of 28.3b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02456
12456

end0.0ms

sample2.3s

Algorithm
intervals
Results
701.0ms1413×body1280valid
614.0ms626×body2560valid
316.0ms1002×body640valid
303.0ms4113×body80valid
121.0ms538×body320valid
54.0ms308×body160valid

Profiling

Loading profile data...