Details

Time bar (total: 4.3s)

analyze678.0ms (15.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
9.4%90.4%0.2%8
9.4%90.4%0.2%9
10.9%88.9%0.2%10
25.9%73.9%0.2%11
47.1%52.7%0.2%12
55.3%44.5%0.2%13
59.2%40.6%0.2%14
Compiler

Compiled 18 to 15 computations (16.7% saved)

sample20.0ms (0.5%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
Compiler

Compiled 35 to 33 computations (5.7% saved)

simplify149.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
0505919

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 43 to 36 computations (16.3% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))
0.0b
(-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))))
5.9b
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
6.3b
(/.f64 (*.f64 y t) (*.f64 2 z))

rewrite43.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
45×add-sqr-sqrt_binary64_14422
42×*-un-lft-identity_binary64_14400
33×times-frac_binary64_14406
26×cancel-sign-sub-inv_binary64_14366
24×add-cube-cbrt_binary64_14435
18×add-exp-log_binary64_14438 add-cbrt-cube_binary64_14436
10×difference-of-squares_binary64_14369
9×distribute-lft-out--_binary64_14352
8×add-log-exp_binary64_14439
6×associate-/r*_binary64_14344
5×cbrt-undiv_binary64_14434 div-exp_binary64_14451
4×cbrt-unprod_binary64_14433 prod-exp_binary64_14449 flip--_binary64_14375 div-inv_binary64_14397 flip3--_binary64_14404 pow1_binary64_14461 associate-/r/_binary64_14346 associate-/l*_binary64_14345
2×sub-neg_binary64_14393 frac-2neg_binary64_14411 clear-num_binary64_14399 diff-log_binary64_14492
Counts
4 → 111
Calls

4 calls:

14.0ms
(-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))))
7.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
6.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))
6.0ms
(-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))

series263.0ms (6%)

Counts
4 → 12
Calls

4 calls:

125.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
78.0ms
(-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))))
36.0ms
(-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))
24.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))

simplify71.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
050782660

prune119.0ms (2.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1185123
Fresh011
Picked101
Done000
Total1196125
Error
0.4b
Counts
125 → 6
Compiler

Compiled 2539 to 1288 computations (49.3% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 x (/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z))))))
0.9b
(/.f64 2 (/.f64 t z))
5.7b
(/.f64 y (/.f64 2 (/.f64 t z)))
5.9b
(/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z)))))

rewrite182.0ms (4.2%)

Algorithm
1×rewrite-expression-head
Rules
562×times-frac_binary64_14406
359×add-sqr-sqrt_binary64_14422
272×*-un-lft-identity_binary64_14400
256×add-cube-cbrt_binary64_14435
65×associate-/r*_binary64_14344
30×cancel-sign-sub-inv_binary64_14366 difference-of-squares_binary64_14369
24×div-inv_binary64_14397
20×add-exp-log_binary64_14438 add-cbrt-cube_binary64_14436
10×cbrt-undiv_binary64_14434 div-exp_binary64_14451 associate-/r/_binary64_14346
9×associate-/l*_binary64_14345
8×distribute-lft-out--_binary64_14352
6×add-log-exp_binary64_14439
4×pow1_binary64_14461
3×frac-2neg_binary64_14411 clear-num_binary64_14399 flip--_binary64_14375 flip3--_binary64_14404
1×sub-neg_binary64_14393 diff-log_binary64_14492
Counts
4 → 359
Calls

4 calls:

61.0ms
(-.f64 x (/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z))))))
46.0ms
(/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z)))))
14.0ms
(/.f64 y (/.f64 2 (/.f64 t z)))
6.0ms
(/.f64 2 (/.f64 t z))

series234.0ms (5.4%)

Counts
4 → 12
Calls

4 calls:

118.0ms
(/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z)))))
73.0ms
(-.f64 x (/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z))))))
29.0ms
(/.f64 y (/.f64 2 (/.f64 t z)))
13.0ms
(/.f64 2 (/.f64 t z))

simplify123.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
371 → 371
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
050899168

prune381.0ms (8.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New3710371
Fresh055
Picked011
Done000
Total3716377
Error
0.4b
Counts
377 → 6
Compiler

Compiled 8811 to 4039 computations (54.2% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 z (*.f64 (*.f64 y t) (/.f64 1/2 z)))
0.0b
(-.f64 x (/.f64 y (-.f64 z (*.f64 (*.f64 y t) (/.f64 1/2 z)))))
5.9b
(/.f64 y (-.f64 z (*.f64 (*.f64 y t) (/.f64 1/2 z))))
6.1b
(*.f64 (*.f64 y t) (/.f64 1/2 z))

rewrite41.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
31×add-sqr-sqrt_binary64_14422
28×*-un-lft-identity_binary64_14400 times-frac_binary64_14406
26×add-cube-cbrt_binary64_14435
18×add-exp-log_binary64_14438 add-cbrt-cube_binary64_14436
16×cancel-sign-sub-inv_binary64_14366
13×associate-*r*_binary64_14340
9×pow1_binary64_14461
8×add-log-exp_binary64_14439
6×cbrt-unprod_binary64_14433 prod-exp_binary64_14449
4×flip--_binary64_14375 flip3--_binary64_14404 associate-/r/_binary64_14346
3×associate-/r*_binary64_14344 pow-prod-down_binary64_14471 cbrt-undiv_binary64_14434 div-exp_binary64_14451 div-inv_binary64_14397 associate-/l*_binary64_14345
2×sub-neg_binary64_14393 difference-of-squares_binary64_14369 diff-log_binary64_14492
1×frac-2neg_binary64_14411 clear-num_binary64_14399 associate-*r/_binary64_14342 distribute-lft-out--_binary64_14352 associate-*l*_binary64_14341 *-commutative_binary64_14331
Counts
4 → 103
Calls

4 calls:

10.0ms
(-.f64 x (/.f64 y (-.f64 z (*.f64 (*.f64 y t) (/.f64 1/2 z)))))
9.0ms
(*.f64 (*.f64 y t) (/.f64 1/2 z))
6.0ms
(-.f64 z (*.f64 (*.f64 y t) (/.f64 1/2 z)))
5.0ms
(/.f64 y (-.f64 z (*.f64 (*.f64 y t) (/.f64 1/2 z))))

series267.0ms (6.2%)

Counts
4 → 12
Calls

4 calls:

124.0ms
(/.f64 y (-.f64 z (*.f64 (*.f64 y t) (/.f64 1/2 z))))
87.0ms
(-.f64 x (/.f64 y (-.f64 z (*.f64 (*.f64 y t) (/.f64 1/2 z)))))
32.0ms
(-.f64 z (*.f64 (*.f64 y t) (/.f64 1/2 z)))
25.0ms
(*.f64 (*.f64 y t) (/.f64 1/2 z))

simplify70.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
050462257

prune101.0ms (2.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1150115
Fresh044
Picked011
Done011
Total1156121
Error
0.4b
Counts
121 → 6
Compiler

Compiled 2301 to 1183 computations (48.6% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

5.9b
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
6.3b
(/.f64 (*.f64 y t) (*.f64 2 z))
6.3b
(/.f64 (*.f64 y t) (*.f64 2 z))
6.3b
(/.f64 (*.f64 y t) (*.f64 2 z))

rewrite44.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
42×add-exp-log_binary64_14438 add-cbrt-cube_binary64_14436
22×add-sqr-sqrt_binary64_14422 *-un-lft-identity_binary64_14400
18×times-frac_binary64_14406
14×add-cube-cbrt_binary64_14435
13×cbrt-undiv_binary64_14434 div-exp_binary64_14451
12×cbrt-unprod_binary64_14433 prod-exp_binary64_14449
8×associate-/r*_binary64_14344
6×associate-/l*_binary64_14345
4×frac-2neg_binary64_14411 difference-of-squares_binary64_14369 clear-num_binary64_14399 div-inv_binary64_14397 add-log-exp_binary64_14439 distribute-lft-out--_binary64_14352 pow1_binary64_14461
2×associate-/r/_binary64_14346
1×flip--_binary64_14375 flip3--_binary64_14404
Counts
4 → 100
Calls

4 calls:

8.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))
7.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
6.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))
6.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))

series189.0ms (4.3%)

Counts
4 → 12
Calls

4 calls:

121.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
23.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))
22.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))
22.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))

simplify63.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
050091790

prune210.0ms (4.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1120112
Fresh033
Picked011
Done022
Total1126118
Error
0.4b
Counts
118 → 6
Compiler

Compiled 5473 to 2889 computations (47.2% saved)

regimes176.0ms (4.1%)

Accuracy

Total 0.6b remaining (51.3%)

Threshold costs 0.6b (51.3%)

Compiler

Compiled 1599 to 1330 computations (16.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03819
13819

end0.0ms (0%)

sample869.0ms (20%)

Algorithm
1×intervals
Results
379.0ms8000×body128valid
Compiler

Compiled 290 to 241 computations (16.9% saved)

Profiling

Loading profile data...