Details

analyze439.0ms (5%)

Algorithm

1×

Search

True	Other	False	Iter
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
15.6%	84.2%	0.2%	8
28.1%	71.7%	0.2%	9
37.4%	62.4%	0.2%	10
41.7%	58.1%	0.2%	11
53%	46.8%	0.2%	12
64.1%	35.6%	0.3%	13
66.7%	32.8%	0.5%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample17.0ms (0.2%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	16×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify139.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	772	13
1	772	13

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

8.3b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

8.2b	(/.f64 x (*.f64 (-.f64 y z) (-.f64 t z)))
0.0b	(*.f64 (-.f64 y z) (-.f64 t z))
0.0b	(*.f64 (-.f64 y z) (-.f64 t z))
8.2b	(/.f64 x (*.f64 (-.f64 y z) (-.f64 t z)))

rewrite27.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_22265`
12×	`*-un-lft-identity_binary64_22243` `flip--_binary64_22218` `flip3--_binary64_22247`
9×	`add-exp-log_binary64_22281` `add-cbrt-cube_binary64_22279`
8×	`frac-times_binary64_22253` `add-cube-cbrt_binary64_22278` `associate-/r/_binary64_22189`
6×	`cancel-sign-sub-inv_binary64_22209`
5×	`associate-r_binary64_22183` `associate-l_binary64_22184`
4×	`associate-r/_binary64_22185` `pow1_binary64_22304` `associate-l/_binary64_22186` `distribute-rgt-in_binary64_22193` `distribute-lft-in_binary64_22192`
3×	`times-frac_binary64_22249` `associate-/l*_binary64_22188`
2×	`add-log-exp_binary64_22282` `cbrt-undiv_binary64_22277` `difference-of-squares_binary64_22212` `cbrt-unprod_binary64_22276` `sub-neg_binary64_22236` `distribute-lft-out--_binary64_22195` `prod-exp_binary64_22292` `div-exp_binary64_22294`
1×	`div-inv_binary64_22240` `clear-num_binary64_22242` `-commutative_binary64_22174` `frac-2neg_binary64_22254` `pow-prod-down_binary64_22314` `associate-/r_binary64_22187` `unswap-sqr_binary64_22211`

Counts

2 → 67

Calls

4 calls:

11.0ms	(*.f64 (-.f64 y z) (-.f64 t z))
10.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 t z)))
0.0ms	(*.f64 (-.f64 y z) (-.f64 t z))
0.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 t z)))

series510.0ms (5.8%)

Counts

2 → 47

Calls

2 calls:

346.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 t z)))
163.0ms	(*.f64 (-.f64 y z) (-.f64 t z))

Compiler

Compiled 1525 to 1122 computations (26.4% saved)

simplify71.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4974	2277
1	4974	2277

prune113.0ms (1.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	108	6	114
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	109	6	115

Error

0.0b

Counts

115 → 6

Compiler

Compiled 2023 to 559 computations (72.4% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.1b	(/.f64 (/.f64 x (-.f64 y z)) (-.f64 t z))
0.0b	(/.f64 x (-.f64 y z))
0.0b	(/.f64 x (-.f64 y z))
2.1b	(/.f64 (/.f64 x (-.f64 y z)) (-.f64 t z))

rewrite42.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

210×	`times-frac_binary64_22249`
176×	`add-sqr-sqrt_binary64_22265` `*-un-lft-identity_binary64_22243`
88×	`add-cube-cbrt_binary64_22278`
44×	`difference-of-squares_binary64_22212` `distribute-lft-out--_binary64_22195`
24×	`associate-/l*_binary64_22188`
16×	`associate-/r/_binary64_22189`
10×	`associate-/r*_binary64_22187`
9×	`add-exp-log_binary64_22281` `add-cbrt-cube_binary64_22279`
8×	`div-inv_binary64_22240` `flip--_binary64_22218` `flip3--_binary64_22247`
4×	`cbrt-undiv_binary64_22277` `div-exp_binary64_22294`
2×	`add-log-exp_binary64_22282` `pow1_binary64_22304` `clear-num_binary64_22242` `frac-2neg_binary64_22254`
1×	`associate-/l/_binary64_22190`

Counts

2 → 185

Calls

4 calls:

13.0ms	(/.f64 (/.f64 x (-.f64 y z)) (-.f64 t z))
9.0ms	(/.f64 x (-.f64 y z))
0.0ms	(/.f64 x (-.f64 y z))
0.0ms	(/.f64 (/.f64 x (-.f64 y z)) (-.f64 t z))

series457.0ms (5.2%)

Counts

2 → 47

Calls

2 calls:

344.0ms	(/.f64 (/.f64 x (-.f64 y z)) (-.f64 t z))
113.0ms	(/.f64 x (-.f64 y z))

Compiler

Compiled 1575 to 1159 computations (26.4% saved)

simplify105.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

232 → 232

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5012	6036

prune195.0ms (2.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	228	4	232
Fresh	3	2	5
Picked	0	1	1
Done	0	0	0
Total	231	7	238

Error

Counts

238 → 7

Compiler

Compiled 4728 to 906 computations (80.8% saved)

localize23.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.4b	(/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 t z)))
0.3b	(/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z)))
0.3b	(/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
0.2b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 t z))))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 (-.f64 t z))
0.6b	(cbrt.f64 (-.f64 t z))
0.6b	(cbrt.f64 (-.f64 t z))

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_22274`
14×	`add-sqr-sqrt_binary64_22265` `*-un-lft-identity_binary64_22243`
8×	`add-cube-cbrt_binary64_22278`
6×	`cbrt-div_binary64_22275`
4×	`add-exp-log_binary64_22281` `pow1/3_binary64_22325` `add-log-exp_binary64_22282` `pow1_binary64_22304` `add-cbrt-cube_binary64_22279`
3×	`flip--_binary64_22218` `flip3--_binary64_22247` `difference-of-squares_binary64_22212` `distribute-lft-out--_binary64_22195`

Counts

4 → 56

Calls

8 calls:

3.0ms	(cbrt.f64 (-.f64 t z))
3.0ms	(cbrt.f64 (-.f64 t z))
3.0ms	(cbrt.f64 (-.f64 t z))
1.0ms	(cbrt.f64 x)
0.0ms	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 t z))))

series640.0ms (7.3%)

Counts

4 → 36

Calls

4 calls:

322.0ms	(cbrt.f64 (-.f64 t z))
121.0ms	(cbrt.f64 (-.f64 t z))
119.0ms	(cbrt.f64 (-.f64 t z))
77.0ms	(cbrt.f64 x)

Compiler

Compiled 2902 to 1765 computations (39.2% saved)

simplify86.0ms (1%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5263	1048

prune104.0ms (1.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	92	7	99

Error

Counts

99 → 7

Compiler

Compiled 3990 to 515 computations (87.1% saved)

localize11.0ms (0.1%)

Local error

Found 6 expressions with local error:

2.1b	(/.f64 (*.f64 x (/.f64 1 (-.f64 y z))) (-.f64 t z))
0.2b	(*.f64 x (/.f64 1 (-.f64 y z)))
0.0b	(/.f64 1 (-.f64 y z))
0.0b	(/.f64 1 (-.f64 y z))
0.2b	(*.f64 x (/.f64 1 (-.f64 y z)))
2.1b	(/.f64 (*.f64 x (/.f64 1 (-.f64 y z))) (-.f64 t z))

rewrite40.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`add-sqr-sqrt_binary64_22265`
44×	`*-un-lft-identity_binary64_22243`
37×	`times-frac_binary64_22249`
31×	`add-exp-log_binary64_22281`
25×	`add-cube-cbrt_binary64_22278`
21×	`associate-r_binary64_22183`
19×	`add-cbrt-cube_binary64_22279`
11×	`div-exp_binary64_22294`
10×	`associate-/r*_binary64_22187`
9×	`difference-of-squares_binary64_22212` `distribute-lft-out--_binary64_22195`
8×	`prod-exp_binary64_22292`
6×	`pow1_binary64_22304` `cbrt-undiv_binary64_22277` `associate-/r/_binary64_22189`
4×	`cbrt-unprod_binary64_22276` `associate-/l*_binary64_22188`
3×	`rec-exp_binary64_22293` `div-inv_binary64_22240` `add-log-exp_binary64_22282` `flip--_binary64_22218` `associate-l_binary64_22184` `flip3--_binary64_22247` `1-exp_binary64_22287` `unswap-sqr_binary64_22211`
2×	`associate-*r/_binary64_22185` `associate-/l/_binary64_22190` `un-div-inv_binary64_22241` `clear-num_binary64_22242` `frac-2neg_binary64_22254`
1×	`*-commutative_binary64_22174` `pow-flip_binary64_22317` `inv-pow_binary64_22328` `pow-prod-down_binary64_22314`

Counts

3 → 118

Calls

6 calls:

12.0ms	(/.f64 (*.f64 x (/.f64 1 (-.f64 y z))) (-.f64 t z))
12.0ms	(*.f64 x (/.f64 1 (-.f64 y z)))
6.0ms	(/.f64 1 (-.f64 y z))
0.0ms	(/.f64 1 (-.f64 y z))
0.0ms	(/.f64 (*.f64 x (/.f64 1 (-.f64 y z))) (-.f64 t z))

series515.0ms (5.8%)

Counts

3 → 65

Calls

3 calls:

339.0ms	(/.f64 (*.f64 x (/.f64 1 (-.f64 y z))) (-.f64 t z))
114.0ms	(*.f64 x (/.f64 1 (-.f64 y z)))
62.0ms	(/.f64 1 (-.f64 y z))

Compiler

Compiled 1959 to 1489 computations (24% saved)

simplify70.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5183	3029

prune134.0ms (1.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	183	0	183
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	183	7	190

Error

Counts

190 → 7

Compiler

Compiled 3068 to 1013 computations (67% saved)

simplify18.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	324	1148
1	324	1148

regimes469.0ms (5.3%)

Compiler: Compiled 4809 to 3410 computations (29.1% saved)

bsearch0.0ms (0%)

regimes537.0ms (6.1%)

Compiler: Compiled 3999 to 3044 computations (23.9% saved)

bsearch34.0ms (0.4%)

Steps

Iters	Range		Point
8	2.5895408862753758e-70	1.172297471777506e-66	1.8551606080189914e-68
8	-2.1795035094812813e-282	-4.818379489234424e-287	-1.0627057217112072e-284

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes260.0ms (3%)

Compiler: Compiled 1133 to 1216 computations (-7.3% saved)

bsearch1.0ms (0%)

Compiler: Compiled 7 to 7 computations (0% saved)

regimes225.0ms (2.5%)

Compiler: Compiled 1067 to 1156 computations (-8.3% saved)

bsearch1.0ms (0%)

Compiler: Compiled 7 to 7 computations (0% saved)

regimes210.0ms (2.4%)

Compiler: Compiled 858 to 966 computations (-12.6% saved)

bsearch1.0ms (0%)

Compiler: Compiled 7 to 7 computations (0% saved)

regimes196.0ms (2.2%)

Compiler: Compiled 792 to 906 computations (-14.4% saved)

bsearch1.0ms (0%)

Compiler: Compiled 7 to 7 computations (0% saved)

regimes92.0ms (1%)

Compiler: Compiled 400 to 476 computations (-19% saved)

bsearch0.0ms (0%)

regimes253.0ms (2.9%)

Compiler: Compiled 364 to 444 computations (-22% saved)

bsearch67.0ms (0.8%)

Steps

Iters	Range		Point
8	3.3680795190807836e-74	1.794656216237886e-71	7.866291426314132e-73
9	-2.9359445207846965e-164	-3.062774334266678e-172	-2.4414779933159523e-164
8	-3.6155768178646516e-85	-9.782114591204485e-88	-9.865164912019664e-88
8	-4100838.352414584	-84.5505638515366	-90.41343743129991

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes214.0ms (2.4%)

Compiler: Compiled 232 to 312 computations (-34.5% saved)

bsearch55.0ms (0.6%)

Steps

Iters	Range		Point
8	3.25849783650769e+63	2.1174835518185528e+66	1.7343185145153442e+64
2	6.5299630019320885e-59	7.243306399507474e-59	6.797466776022858e-59
9	4.935411753558469e-100	5.793350327604956e-95	4.9549839596378684e-95
9	-2.1447325225215865e-158	-4.21101496241384e-165	-2.1051889596342455e-158

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes168.0ms (1.9%)

Compiler: Compiled 200 to 280 computations (-40% saved)

bsearch34.0ms (0.4%)

Steps

Iters	Range		Point
6	8.211922238757019e-117	7.090449029329467e-116	6.967413386655891e-116
9	-2.1447325225215865e-158	-4.21101496241384e-165	-2.1051889596342455e-158

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes144.0ms (1.6%)

Compiler: Compiled 116 to 196 computations (-69% saved)

bsearch30.0ms (0.3%)

Steps

Iters	Range		Point
7	1.172297471777506e-66	2.847597826583415e-65	1.2825980939759143e-65
8	-4.61332587829427e-89	-1.550241793609316e-92	-4.5430164082148206e-89

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes126.0ms (1.4%)

Compiler: Compiled 88 to 168 computations (-90.9% saved)

bsearch26.0ms (0.3%)

Steps

Iters	Range		Point
5	1.5386127526864042e-140	4.723094253346326e-140	3.1003388053934303e-140
9	-2.1447325225215865e-158	-4.21101496241384e-165	-9.349038285353448e-159

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes151.0ms (1.7%)

Compiler: Compiled 60 to 140 computations (-133.3% saved)

bsearch29.0ms (0.3%)

Steps

Iters	Range		Point
8	2.5895408862753758e-70	1.172297471777506e-66	1.1581699379218829e-66
8	-4.61332587829427e-89	-1.550241793609316e-92	-4.5430164082148206e-89

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes76.0ms (0.9%)

Compiler: Compiled 40 to 116 computations (-190% saved)

bsearch25.0ms (0.3%)

Steps

Iters	Range		Point
6	2.3685244916772812e+112	1.4552839857386982e+113	2.4085052544920162e+112
9	-3.234181784361395e+16	-40760155445.76627	-9.13718258547169e+15

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes37.0ms (0.4%)

Accuracy

Total 2.1b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch20.0ms (0.2%)

Compiler: Compiled 502 to 260 computations (48.2% saved)

simplify12.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	210	687
1	210	687

end0.0ms (0%)

sample1.5s (17.3%)

Algorithm

1×

intervals

Results

251.0ms	8000×	body	128	valid
13.0ms	430×	body	128	invalid

Compiler

Compiled 1270 to 824 computations (35.1% saved)

Pareto

0.9729691030162224

Details

analyze439.0ms (5%)

sample17.0ms (0.2%)

simplify139.0ms (1.6%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite27.0ms (0.3%)

series510.0ms (5.8%)

simplify71.0ms (0.8%)

prune113.0ms (1.3%)

localize7.0ms (0.1%)

rewrite42.0ms (0.5%)

series457.0ms (5.2%)

simplify105.0ms (1.2%)

prune195.0ms (2.2%)

localize23.0ms (0.3%)

rewrite18.0ms (0.2%)

series640.0ms (7.3%)

simplify86.0ms (1%)

prune104.0ms (1.2%)

localize11.0ms (0.1%)

rewrite40.0ms (0.5%)

series515.0ms (5.8%)

simplify70.0ms (0.8%)

prune134.0ms (1.5%)

simplify18.0ms (0.2%)

regimes469.0ms (5.3%)

bsearch0.0ms (0%)

regimes537.0ms (6.1%)

bsearch34.0ms (0.4%)

regimes260.0ms (3%)

bsearch1.0ms (0%)

regimes225.0ms (2.5%)

bsearch1.0ms (0%)

regimes210.0ms (2.4%)

bsearch1.0ms (0%)

regimes196.0ms (2.2%)

bsearch1.0ms (0%)

regimes92.0ms (1%)

bsearch0.0ms (0%)

regimes253.0ms (2.9%)

bsearch67.0ms (0.8%)

regimes214.0ms (2.4%)

bsearch55.0ms (0.6%)

regimes168.0ms (1.9%)

bsearch34.0ms (0.4%)

regimes144.0ms (1.6%)

bsearch30.0ms (0.3%)

regimes126.0ms (1.4%)

bsearch26.0ms (0.3%)

regimes151.0ms (1.7%)

bsearch29.0ms (0.3%)

regimes76.0ms (0.9%)

bsearch25.0ms (0.3%)

regimes37.0ms (0.4%)

bsearch20.0ms (0.2%)

simplify12.0ms (0.1%)

end0.0ms (0%)

sample1.5s (17.3%)

Profiling