Details

Time bar (total: 5.7s)

analyze485.0ms (8.6%)

Algorithm
1×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
12.5%87.4%0.1%7
18.7%81.1%0.1%8
28.1%71.8%0.1%9
42.1%57.7%0.1%10
49.1%50.7%0.1%11
57.3%42.5%0.1%12
66.9%33%0.1%13
71.7%28.2%0.1%14
Compiler

Compiled 13 to 10 computations (23.1% saved)

sample18.0ms (0.3%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
Compiler

Compiled 25 to 22 computations (12% saved)

simplify101.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02018
12018

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 39.1b

Counts
2 → 1
Compiler

Compiled 24 to 18 computations (25% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))
36.4b
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))

rewrite21.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
7×add-log-exp_binary64_19554
4×add-sqr-sqrt_binary64_19537
3×add-cube-cbrt_binary64_19550 pow1_binary64_19576 *-un-lft-identity_binary64_19515 sqrt-prod_binary64_19531 sum-log_binary64_19606
2×flip-+_binary64_19489 add-cbrt-cube_binary64_19551 sqrt-div_binary64_19532 flip3-+_binary64_19518 add-exp-log_binary64_19553
1×sqrt-pow1_binary64_19533 pow1/2_binary64_19595 associate-+l+_binary64_19448 rem-sqrt-square_binary64_19528 +-commutative_binary64_19445
Counts
2 → 28
Calls

2 calls:

11.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
7.0ms
(+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))

series530.0ms (9.4%)

Counts
2 → 45
Calls

2 calls:

347.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
183.0ms
(+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))
Compiler

Compiled 1650 to 1471 computations (10.8% saved)

simplify61.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
050841885

prune81.0ms (1.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New601373
Fresh000
Picked101
Done000
Total611374

Merged error: 36.7b

Counts
74 → 13
Compiler

Compiled 1558 to 583 computations (62.6% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 y y) (*.f64 z z))
29.6b
(sqrt.f64 (+.f64 (*.f64 y y) (*.f64 z z)))

rewrite10.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
4×add-sqr-sqrt_binary64_19537 add-log-exp_binary64_19554
3×add-cube-cbrt_binary64_19550 pow1_binary64_19576 *-un-lft-identity_binary64_19515 sqrt-prod_binary64_19531
2×flip-+_binary64_19489 add-cbrt-cube_binary64_19551 sqrt-div_binary64_19532 flip3-+_binary64_19518 add-exp-log_binary64_19553
1×sqrt-pow1_binary64_19533 pow1/2_binary64_19595 rem-sqrt-square_binary64_19528 +-commutative_binary64_19445 sum-log_binary64_19606
Counts
2 → 26
Calls

2 calls:

4.0ms
(sqrt.f64 (+.f64 (*.f64 y y) (*.f64 z z)))
4.0ms
(+.f64 (*.f64 y y) (*.f64 z z))

series210.0ms (3.7%)

Counts
2 → 30
Calls

2 calls:

120.0ms
(sqrt.f64 (+.f64 (*.f64 y y) (*.f64 z z)))
90.0ms
(+.f64 (*.f64 y y) (*.f64 z z))
Compiler

Compiled 524 to 524 computations (0% saved)

simplify47.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
05265804

prune59.0ms (1%)

Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New451156
Fresh21012
Picked101
Done000
Total482169

Merged error: 25.3b

Counts
69 → 21
Compiler

Compiled 873 to 432 computations (50.5% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (*.f64 y y) (*.f64 z z))
5.7b
(exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 z z)))))
29.6b
(sqrt.f64 (+.f64 (*.f64 y y) (*.f64 z z)))

rewrite18.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64_19537
7×add-cube-cbrt_binary64_19550 *-un-lft-identity_binary64_19515
6×exp-sum_binary64_19561 pow1_binary64_19576 exp-prod_binary64_19567 log-prod_binary64_19601 sqrt-prod_binary64_19531
5×add-log-exp_binary64_19554
4×sqrt-div_binary64_19532
3×flip-+_binary64_19489 log-pow_binary64_19604 add-cbrt-cube_binary64_19551 flip3-+_binary64_19518 add-exp-log_binary64_19553
2×exp-diff_binary64_19563 log-div_binary64_19602 sqrt-pow1_binary64_19533 pow1/2_binary64_19595
1×rem-exp-log_binary64_19555 rem-sqrt-square_binary64_19528 +-commutative_binary64_19445 sum-log_binary64_19606
Counts
3 → 48
Calls

3 calls:

6.0ms
(exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 z z)))))
4.0ms
(+.f64 (*.f64 y y) (*.f64 z z))
4.0ms
(sqrt.f64 (+.f64 (*.f64 y y) (*.f64 z z)))

series597.0ms (10.6%)

Counts
3 → 43
Calls

3 calls:

321.0ms
(sqrt.f64 (+.f64 (*.f64 y y) (*.f64 z z)))
181.0ms
(exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 z z)))))
95.0ms
(+.f64 (*.f64 y y) (*.f64 z z))
Compiler

Compiled 983 to 904 computations (8% saved)

simplify38.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
052841306

prune93.0ms (1.6%)

Pruning

32 alts after pruning (32 fresh and 0 done)

PrunedKeptTotal
New781391
Fresh11920
Picked101
Done000
Total8032112

Merged error: 25.3b

Counts
112 → 32
Compiler

Compiled 1534 to 746 computations (51.4% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 x x) (*.f64 z z))
27.2b
(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 z z)))

rewrite10.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
4×add-sqr-sqrt_binary64_19537 add-log-exp_binary64_19554
3×add-cube-cbrt_binary64_19550 pow1_binary64_19576 *-un-lft-identity_binary64_19515 sqrt-prod_binary64_19531
2×flip-+_binary64_19489 add-cbrt-cube_binary64_19551 sqrt-div_binary64_19532 flip3-+_binary64_19518 add-exp-log_binary64_19553
1×sqrt-pow1_binary64_19533 pow1/2_binary64_19595 rem-sqrt-square_binary64_19528 +-commutative_binary64_19445 sum-log_binary64_19606
Counts
2 → 26
Calls

2 calls:

4.0ms
(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 z z)))
4.0ms
(+.f64 (*.f64 x x) (*.f64 z z))

series207.0ms (3.7%)

Counts
2 → 30
Calls

2 calls:

121.0ms
(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 z z)))
86.0ms
(+.f64 (*.f64 x x) (*.f64 z z))
Compiler

Compiled 524 to 524 computations (0% saved)

simplify45.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
05263804

prune44.0ms (0.8%)

Pruning

34 alts after pruning (33 fresh and 1 done)

PrunedKeptTotal
New47956
Fresh72431
Picked011
Done000
Total543488

Merged error: 18.3b

Counts
88 → 34
Compiler

Compiled 656 to 241 computations (63.3% saved)

regimes1.5s (26%)

Compiler

Compiled 9033 to 7113 computations (21.3% saved)

bsearch60.0ms (1.1%)

Steps
ItersRangePoint
9
1.5021924263460129e+36
4.317904892895775e+42
4.259597241345245e+42
10
4.2532815229108933e-181
1.7706461151761115e-163
5.592279530727493e-180
10
-2.1674777239793723e-285
-9.097341330753111e-298
-9.250767270340031e-298
Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02868
12868

end0.0ms (0%)

sample1.4s (25%)

Algorithm
1×intervals
Results
334.0ms8000×body128valid
Compiler

Compiled 865 to 670 computations (22.5% saved)

Profiling

Loading profile data...