Details

Time bar (total: 3.1s)

analyze424.0ms (13.5%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03728
13728
033
133
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
31.2%68.6%0.1%7
37.4%62.4%0.1%8
40.6%57.7%1.7%9
54.6%41.3%4%10
59.3%36.7%4%11
61.6%32.6%5.8%12
68.3%22.7%9%13
71%20%9%14
Symmetry

(sort x y)

Compiler

Compiled 6 to 6 computations (0% saved)

sample23.0ms (0.7%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
1.0ms25×body128invalid
Compiler

Compiled 11 to 14 computations (-27.3% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0177
1177

prune5.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
3.5b
Counts
2 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

3.5b
(/.f64 (*.f64 x y) z)

rewrite23.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×add-exp-log_binary64_17507 add-cbrt-cube_binary64_17505
3×add-cube-cbrt_binary64_17504 add-sqr-sqrt_binary64_17491 times-frac_binary64_17475 *-un-lft-identity_binary64_17469 associate-/r*_binary64_17413
2×div-exp_binary64_17520 cbrt-undiv_binary64_17503
1×pow1_binary64_17530 prod-exp_binary64_17518 add-log-exp_binary64_17508 cbrt-unprod_binary64_17502 frac-2neg_binary64_17480 clear-num_binary64_17468 div-inv_binary64_17466 associate-/l*_binary64_17414
Counts
1 → 21
Calls

1 calls:

4.0ms
(/.f64 (*.f64 x y) z)
Compiler

Compiled 214 to 74 computations (65.4% saved)

series102.0ms (3.2%)

Error
3.5b
Counts
1 → 9
Calls

1 calls:

98.0ms
(/.f64 (*.f64 x y) z)
Compiler

Compiled 135 to 95 computations (29.6% saved)

simplify109.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (101.0ms)

IterNodesCost
04671261
14671261

prune24.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New23730
Fresh000
Picked011
Done000
Total23831
Error
0.0b
Counts
31 → 8
Compiler

Compiled 275 to 100 computations (63.6% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

3.5b
(*.f64 (*.f64 x y) (/.f64 1 z))

rewrite40.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
23×add-exp-log_binary64_17507
13×add-cbrt-cube_binary64_17505 associate-*r*_binary64_17409
12×prod-exp_binary64_17518
9×times-frac_binary64_17475
8×add-cube-cbrt_binary64_17504 add-sqr-sqrt_binary64_17491 *-un-lft-identity_binary64_17469
6×pow1_binary64_17530 cbrt-unprod_binary64_17502
4×div-exp_binary64_17520
3×pow-prod-down_binary64_17540
2×1-exp_binary64_17513 rec-exp_binary64_17519 cbrt-undiv_binary64_17503
1×add-log-exp_binary64_17508 un-div-inv_binary64_17467 associate-*r/_binary64_17411 associate-*l*_binary64_17410 div-inv_binary64_17466 *-commutative_binary64_17400
Counts
1 → 38
Calls

1 calls:

9.0ms
(*.f64 (*.f64 x y) (/.f64 1 z))
Compiler

Compiled 517 to 274 computations (47% saved)

series95.0ms (3%)

Error
0.0b
Counts
1 → 9
Calls

1 calls:

92.0ms
(*.f64 (*.f64 x y) (/.f64 1 z))
Compiler

Compiled 135 to 95 computations (29.6% saved)

simplify86.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
04964423
14964423

prune27.0ms (0.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New46147
Fresh066
Picked011
Done011
Total46955
Error
0.0b
Counts
55 → 9
Compiler

Compiled 471 to 188 computations (60.1% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.7b
(/.f64 1 (/.f64 z (*.f64 x y)))
3.4b
(/.f64 z (*.f64 x y))

rewrite70.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
36×times-frac_binary64_17475
28×add-exp-log_binary64_17507
20×add-cube-cbrt_binary64_17504 add-sqr-sqrt_binary64_17491 *-un-lft-identity_binary64_17469
16×add-cbrt-cube_binary64_17505
14×div-exp_binary64_17520
8×associate-/r*_binary64_17413
7×cbrt-undiv_binary64_17503
6×div-inv_binary64_17466 associate-/l*_binary64_17414
4×prod-exp_binary64_17518
3×pow1_binary64_17530 1-exp_binary64_17513 rec-exp_binary64_17519
2×add-log-exp_binary64_17508 cbrt-unprod_binary64_17502 frac-2neg_binary64_17480 clear-num_binary64_17468
1×inv-pow_binary64_17554 pow-flip_binary64_17543 associate-/r/_binary64_17415
Counts
2 → 77
Calls

2 calls:

7.0ms
(/.f64 1 (/.f64 z (*.f64 x y)))
4.0ms
(/.f64 z (*.f64 x y))
Compiler

Compiled 1051 to 440 computations (58.1% saved)

series230.0ms (7.3%)

Error
0.0b
Counts
2 → 18
Calls

2 calls:

116.0ms
(/.f64 z (*.f64 x y))
93.0ms
(/.f64 1 (/.f64 z (*.f64 x y)))
Compiler

Compiled 324 to 240 computations (25.9% saved)

simplify94.0ms (3%)

Algorithm
1×egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
053051041

prune57.0ms (1.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New92395
Fresh246
Picked011
Done022
Total9410104
Error
0b
Counts
104 → 10
Compiler

Compiled 1003 to 352 computations (64.9% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.2b
(/.f64 1 (*.f64 x y))
0.7b
(/.f64 1 (*.f64 z (/.f64 1 (*.f64 x y))))
3.4b
(*.f64 z (/.f64 1 (*.f64 x y)))

rewrite109.0ms (3.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
101×add-exp-log_binary64_17507
43×prod-exp_binary64_17518
36×div-exp_binary64_17520
31×add-cbrt-cube_binary64_17505
18×1-exp_binary64_17513 rec-exp_binary64_17519
12×add-sqr-sqrt_binary64_17491
11×pow1_binary64_17530
10×add-cube-cbrt_binary64_17504 cbrt-undiv_binary64_17503 *-un-lft-identity_binary64_17469
9×cbrt-unprod_binary64_17502 times-frac_binary64_17475
7×associate-*r*_binary64_17409
6×associate-/l*_binary64_17414
4×pow-flip_binary64_17543
3×pow-prod-down_binary64_17540 add-log-exp_binary64_17508 associate-*l*_binary64_17410 div-inv_binary64_17466
2×un-div-inv_binary64_17467 associate-*r/_binary64_17411 inv-pow_binary64_17554 frac-2neg_binary64_17480 clear-num_binary64_17468 associate-/r/_binary64_17415 associate-/r*_binary64_17413
1×unswap-sqr_binary64_17437 *-commutative_binary64_17400
Counts
3 → 110
Calls

3 calls:

9.0ms
(/.f64 1 (*.f64 z (/.f64 1 (*.f64 x y))))
8.0ms
(*.f64 z (/.f64 1 (*.f64 x y)))
5.0ms
(/.f64 1 (*.f64 x y))
Compiler

Compiled 1561 to 891 computations (42.9% saved)

series254.0ms (8.1%)

Error
0b
Counts
3 → 24
Calls

3 calls:

107.0ms
(*.f64 z (/.f64 1 (*.f64 x y)))
87.0ms
(/.f64 1 (*.f64 z (/.f64 1 (*.f64 x y))))
48.0ms
(/.f64 1 (*.f64 x y))
Compiler

Compiled 486 to 378 computations (22.2% saved)

simplify111.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
048281103
148281103

prune68.0ms (2.2%)

Pruning

10 alts after pruning (6 fresh and 4 done)

PrunedKeptTotal
New1340134
Fresh066
Picked011
Done033
Total13410144
Error
0b
Counts
144 → 10
Compiler

Compiled 1248 to 498 computations (60.1% saved)

regimes300.0ms (9.6%)

Accuracy

Total 3.2b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 2083 to 1451 computations (30.3% saved)

bsearch1.0ms (0%)

Compiler

Compiled 3 to 4 computations (-33.3% saved)

simplify10.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02034
12034
Remove

(sort x y)

Compiler

Compiled 46 to 28 computations (39.1% saved)

end0.0ms (0%)

sample854.0ms (27.2%)

Algorithm
1×intervals
Results
187.0ms8000×body128valid
15.0ms723×body128invalid
Compiler

Compiled 395 to 275 computations (30.4% saved)

Profiling

Loading profile data...