Details

Time bar (total: 4.0s)

analyze523.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%50%0%4
50%50%0%5
50%50%0%6
50%50%0%7
50%50%0%8
50%50%0%9
50%50%0%10
50%50%0%11
50%50%0%12
50%50%0%13
50%49.9%0%14

sample40.0ms

Algorithm
intervals
Results
14.0ms48×body1280valid
7.0ms40×body640valid
5.0ms132×body80valid
3.0ms21×body320valid
1.0ms15×body160valid

simplify575.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (127.0ms)

IterNodesCost
0572615

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.3b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b
(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.2b
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
0.3b
(*.f64 (tan.f64 x) (tan.f64 x))
0.3b
(*.f64 (tan.f64 x) (tan.f64 x))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt_binary64
27×*-un-lft-identity_binary64
22×add-cube-cbrt_binary64
18×pow1_binary64
15×times-frac_binary64
10×add-exp-log_binary64 add-cbrt-cube_binary64 difference-of-squares_binary64
8×tan-quot_binary64
6×add-log-exp_binary64 swap-sqr_binary64 associate-*r*_binary64 associate-*l*_binary64
5×associate-/l*_binary64
3×associate-/r*_binary64
2×pow-prod-down_binary64 associate-/l/_binary64 flip3--_binary64 cbrt-unprod_binary64 pow-prod-up_binary64 associate-*r/_binary64 associate-/r/_binary64 pow-plus_binary64 unswap-sqr_binary64 prod-exp_binary64 pow-sqr_binary64 flip--_binary64 frac-times_binary64 pow2_binary64 associate-*l/_binary64 *-commutative_binary64
1×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 flip-+_binary64
Counts
4 → 109
Calls
4 calls:
3.0ms
(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
7.0ms
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
5.0ms
(*.f64 (tan.f64 x) (tan.f64 x))
8.0ms
(*.f64 (tan.f64 x) (tan.f64 x))

series101.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
44.0ms
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
23.0ms
(*.f64 (tan.f64 x) (tan.f64 x))
23.0ms
(*.f64 (tan.f64 x) (tan.f64 x))

simplify57.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049671280
149671280

prune172.0ms

Filtered
83 candidates to 121 candidates (-45.8%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New10813121
Fresh000
Picked101
Done000
Total10913122

Merged error: 0.0b

Counts
122 → 13

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b
(/.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 2)))
0.2b
(/.f64 1 (/.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 2))))
0.3b
(pow.f64 (tan.f64 x) 2)
0.3b
(pow.f64 (tan.f64 x) 2)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
402×times-frac_binary64
397×*-un-lft-identity_binary64
317×add-sqr-sqrt_binary64
168×difference-of-squares_binary64
149×add-cube-cbrt_binary64
66×associate-/r*_binary64
61×distribute-lft-out_binary64
48×unpow-prod-down_binary64
44×unpow2_binary64 sqr-pow_binary64
21×distribute-lft-out--_binary64
19×add-exp-log_binary64
11×add-cbrt-cube_binary64 associate-/r/_binary64
8×div-exp_binary64
7×pow1_binary64 associate-/l*_binary64
6×pow-unpow_binary64 div-inv_binary64
5×flip3--_binary64 flip--_binary64
4×add-log-exp_binary64 cbrt-undiv_binary64
2×pow-to-exp_binary64 associate-/l/_binary64 1-exp_binary64 pow-pow_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64 pow-exp_binary64
1×flip3-+_binary64 inv-pow_binary64 pow-flip_binary64 flip-+_binary64
Counts
4 → 356
Calls
4 calls:
12.0ms
(/.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 2)))
22.0ms
(/.f64 1 (/.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 2))))
3.0ms
(pow.f64 (tan.f64 x) 2)
3.0ms
(pow.f64 (tan.f64 x) 2)

series111.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(/.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 2)))
47.0ms
(/.f64 1 (/.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 2))))
11.0ms
(pow.f64 (tan.f64 x) 2)
11.0ms
(pow.f64 (tan.f64 x) 2)

simplify104.0ms

Algorithm
egg-herbie
Counts
368 → 368
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
050207128

prune289.0ms

Filtered
154 candidates to 368 candidates (-139.0%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New3653368
Fresh21012
Picked011
Done000
Total36714381

Merged error: 0.0b

Counts
381 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))
0.3b
(pow.f64 (tan.f64 x) 2)
0.3b
(pow.f64 (tan.f64 x) 2)
0.3b
(log.f64 (exp.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
148×*-un-lft-identity_binary64
116×add-sqr-sqrt_binary64
96×times-frac_binary64
72×difference-of-squares_binary64
55×log-pow_binary64
54×exp-prod_binary64
44×add-cube-cbrt_binary64
25×distribute-lft-out_binary64
24×unpow-prod-down_binary64
20×unpow2_binary64 sqr-pow_binary64
12×associate-/l*_binary64
9×distribute-lft-out--_binary64
8×add-exp-log_binary64
7×pow1_binary64
6×pow-unpow_binary64 add-cbrt-cube_binary64
4×associate-/r*_binary64 add-log-exp_binary64 associate-/r/_binary64
3×log-prod_binary64
2×pow-to-exp_binary64 flip3-+_binary64 associate-/l/_binary64 pow-pow_binary64 div-sub_binary64 div-inv_binary64 flip-+_binary64 pow-exp_binary64
1×flip3--_binary64 cbrt-undiv_binary64 rem-log-exp_binary64 exp-diff_binary64 clear-num_binary64 frac-2neg_binary64 div-exp_binary64 log-div_binary64 flip--_binary64
Counts
4 → 184
Calls
4 calls:
13.0ms
(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))
3.0ms
(pow.f64 (tan.f64 x) 2)
3.0ms
(pow.f64 (tan.f64 x) 2)
17.0ms
(log.f64 (exp.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))))

series109.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))
10.0ms
(pow.f64 (tan.f64 x) 2)
10.0ms
(pow.f64 (tan.f64 x) 2)
46.0ms
(log.f64 (exp.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))))

simplify67.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
051662741

prune197.0ms

Filtered
119 candidates to 196 candidates (-64.7%)
Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New1951196
Fresh11112
Picked011
Done011
Total19614210

Merged error: 0.0b

Counts
210 → 14

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(/.f64 (*.f64 (tan.f64 x) (sin.f64 x)) (cos.f64 x))
0.2b
(*.f64 (tan.f64 x) (sin.f64 x))
0.2b
(/.f64 (-.f64 1 (/.f64 (*.f64 (tan.f64 x) (sin.f64 x)) (cos.f64 x))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
0.3b
(*.f64 (tan.f64 x) (tan.f64 x))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt_binary64
35×*-un-lft-identity_binary64
23×add-cube-cbrt_binary64
21×times-frac_binary64
15×add-exp-log_binary64 add-cbrt-cube_binary64
13×pow1_binary64
8×difference-of-squares_binary64
7×associate-/l*_binary64
6×associate-/r*_binary64 associate-*r*_binary64 associate-*l*_binary64 tan-quot_binary64
4×add-log-exp_binary64 distribute-lft-out--_binary64
3×associate-/l/_binary64 swap-sqr_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 prod-exp_binary64 div-exp_binary64 associate-*l/_binary64
2×pow-prod-down_binary64 associate-/r/_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 *-commutative_binary64
1×flip3-+_binary64 flip3--_binary64 pow-prod-up_binary64 associate-*r/_binary64 pow-plus_binary64 div-sub_binary64 pow-sqr_binary64 flip--_binary64 flip-+_binary64 frac-times_binary64 pow2_binary64
Counts
4 → 113
Calls
4 calls:
6.0ms
(/.f64 (*.f64 (tan.f64 x) (sin.f64 x)) (cos.f64 x))
5.0ms
(*.f64 (tan.f64 x) (sin.f64 x))
10.0ms
(/.f64 (-.f64 1 (/.f64 (*.f64 (tan.f64 x) (sin.f64 x)) (cos.f64 x))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
5.0ms
(*.f64 (tan.f64 x) (tan.f64 x))

series92.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(/.f64 (*.f64 (tan.f64 x) (sin.f64 x)) (cos.f64 x))
11.0ms
(*.f64 (tan.f64 x) (sin.f64 x))
51.0ms
(/.f64 (-.f64 1 (/.f64 (*.f64 (tan.f64 x) (sin.f64 x)) (cos.f64 x))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
11.0ms
(*.f64 (tan.f64 x) (tan.f64 x))

simplify70.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
050021803

prune92.0ms

Filtered
84 candidates to 125 candidates (-48.8%)
Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New1232125
Fresh11011
Picked101
Done022
Total12514139

Merged error: 0.0b

Counts
139 → 14

regimes172.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04521
14521

end0.0ms

sample1.0s

Algorithm
intervals
Results
399.0ms1508×body1280valid
200.0ms1171×body640valid
172.0ms4377×body80valid
78.0ms640×body320valid
26.0ms304×body160valid

Profiling

Loading profile data...