Details

Time bar (total: 4.7s)

analyze5.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
25%25%50%4
37.5%12.5%50%5
43.7%6.2%50%6
46.9%3.1%50%7
48.4%1.6%50%8
49.2%0.8%50%9
49.6%0.4%50%10
49.8%0.2%50%11
49.9%0.1%50%12
49.9%0%50.1%13
49.9%0%50.1%14

sample24.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify446.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (431.0ms)

IterNodesCost
0482328
1482328

prune5.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0b

Counts
2 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
0.0b
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
0.0b
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
0.2b
(*.f64 (*.f64 v v) 6)

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log_binary64 add-cbrt-cube_binary64
22×associate-*r/_binary64
18×flip3--_binary64 flip--_binary64 sqrt-div_binary64
17×add-sqr-sqrt_binary64
16×pow1_binary64
12×*-un-lft-identity_binary64 frac-times_binary64
11×add-cube-cbrt_binary64
10×cbrt-unprod_binary64 associate-*r*_binary64 prod-exp_binary64
9×associate-*l*_binary64
8×associate-/r/_binary64
7×pow-prod-down_binary64
6×associate-*l/_binary64
4×add-log-exp_binary64 insert-posit16 sqrt-prod_binary64
3×cbrt-undiv_binary64 unswap-sqr_binary64 associate-/l*_binary64 times-frac_binary64 div-exp_binary64 *-commutative_binary64
2×difference-of-squares_binary64
1×associate-/r*_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64
Counts
4 → 112
Calls
4 calls:
17.0ms
(*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
15.0ms
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
12.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
7.0ms
(*.f64 (*.f64 v v) 6)

series1.6s

Counts
4 → 12
Calls
4 calls:
493.0ms
(*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
562.0ms
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
300.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
224.0ms
(*.f64 (*.f64 v v) 6)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0264357
1264357
03436
13436
0264357
1264357
03436
13436
05333
15333
05381143
15381143
0121988
1121988
05381143
15381143
0121988
1121988
0117176
1117176
08472188
18472188
053722106
08472188
18472188
053722106
013
113
06522161
16522161
048632059
148632059
06522161
16522161
048632059
148632059
013
113

simplify147.0ms

Counts
124 → 124
Iterations

Useful iterations: 0 (108.0ms)

IterNodesCost
049452896
149452896

prune125.0ms

Filtered
91 candidates to 124 candidates (-36.3%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New1231124
Fresh101
Picked101
Done000
Total1251126

Merged error: 0b

Counts
126 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 4/3 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) PI.f64) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
0.0b
(*.f64 (*.f64 (-.f64 1 (*.f64 v v)) PI.f64) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
0.0b
(*.f64 (-.f64 1 (*.f64 v v)) PI.f64)
0.2b
(*.f64 (*.f64 v v) 6)

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log_binary64 add-cbrt-cube_binary64
18×associate-*l/_binary64
16×pow1_binary64
15×add-sqr-sqrt_binary64
13×flip3--_binary64 flip--_binary64
12×*-un-lft-identity_binary64 associate-*r*_binary64 sqrt-div_binary64
11×add-cube-cbrt_binary64
10×cbrt-unprod_binary64 prod-exp_binary64
8×associate-/r/_binary64 frac-times_binary64
7×pow-prod-down_binary64 associate-*l*_binary64
4×add-log-exp_binary64 associate-*r/_binary64 insert-posit16
3×cbrt-undiv_binary64 associate-/l*_binary64 times-frac_binary64 div-exp_binary64 sqrt-prod_binary64 *-commutative_binary64
2×unswap-sqr_binary64 difference-of-squares_binary64
1×associate-/r*_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64
Counts
4 → 105
Calls
4 calls:
15.0ms
(/.f64 4/3 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) PI.f64) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
14.0ms
(*.f64 (*.f64 (-.f64 1 (*.f64 v v)) PI.f64) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
10.0ms
(*.f64 (-.f64 1 (*.f64 v v)) PI.f64)
8.0ms
(*.f64 (*.f64 v v) 6)

series1.5s

Counts
4 → 12
Calls
4 calls:
567.0ms
(/.f64 4/3 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) PI.f64) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
409.0ms
(*.f64 (*.f64 (-.f64 1 (*.f64 v v)) PI.f64) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
334.0ms
(*.f64 (-.f64 1 (*.f64 v v)) PI.f64)
229.0ms
(*.f64 (*.f64 v v) 6)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0264357
1264357
03436
13436
0264357
1264357
03436
13436
05333
15333
03242000
13242000
045041928
145041928
03242000
13242000
045041928
145041928
013
113
06532161
16532161
052132059
06532161
16532161
052132059
013
113
08482188
18482188
053472106
08482188
18482188
053472106
013
113

simplify96.0ms

Counts
117 → 117
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049922348
149922348

prune104.0ms

Filtered
82 candidates to 117 candidates (-42.7%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New1170117
Fresh000
Picked011
Done000
Total1171118

Merged error: 0b

Counts
118 → 1

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05528
15528

end0.0ms

sample496.0ms

Algorithm
intervals
Results
402.0ms8000×body80valid

Profiling

Loading profile data...