Details

Time bar (total: 4.5s)

analyze1.8s

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
0%98.1%1.9%13
0%98.1%1.9%14

sample185.0ms

Algorithm
intervals
Results
58.0ms92×body5120valid
26.0ms352×body80nan
22.0ms47×body2560valid
14.0ms23×body5120exit
11.0ms147×body80invalid
9.0ms25×body1280valid
5.0ms69×body80valid
4.0ms13×body640valid
1.0ms6×body320valid
1.0ms2×body2560invalid
1.0ms3×body640invalid
1.0ms2×body1280invalid
1.0ms4×body160valid
0.0ms1×body160invalid

simplify392.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
0506769

prune7.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: 60.2b

Counts
2 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

15.4b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
15.4b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
15.4b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
31.3b
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))

rewrite323.0ms

Algorithm
rewrite-expression-head
Rules
211×add-cbrt-cube_binary64_7852 add-exp-log_binary64_7844
117×prod-exp_binary64_7827 cbrt-unprod_binary64_7849
45×cbrt-undiv_binary64_7850 div-exp_binary64_7829
6×add-log-exp_binary64_7845 *-un-lft-identity_binary64_7880
4×add-cube-cbrt_binary64_7851 add-sqr-sqrt_binary64_7865 pow1_binary64_7822
3×associate-/l*_binary64_7944 associate-/r*_binary64_7943 div-inv_binary64_7881 frac-2neg_binary64_7873 times-frac_binary64_7875 clear-num_binary64_7883
2×frac-add_binary64_7870 sqrt-div_binary64_7860
1×flip--_binary64_7906 +-commutative_binary64_7947 sum-log_binary64_7790 flip3-+_binary64_7878 flip-+_binary64_7905 distribute-lft-out_binary64_7924 flip3--_binary64_7879
Counts
4 → 143
Calls
4 calls:
16.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
17.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
17.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
254.0ms
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))

series1.5s

Counts
4 → 12
Calls
4 calls:
351.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
351.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
352.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
456.0ms
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
01107365
11107365
052166999
01107365
11107365
052166999
054107313
05045604
15045604
051525481
05045604
15045604
051525481
051265604
05045604
15045604
051525481
05045604
15045604
051525481
051265604
05045604
15045604
051525481
05045604
15045604
051525481
051265604

simplify155.0ms

Counts
155 → 155
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
0509527810

prune47.0ms

Filtered
64 candidates to 155 candidates (-142.2%)

Profiling

Loading profile data...