Details

analyze254.0ms (0.6%)

Algorithm

1×

Search

True	Other	False	Iter
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
37.4%	62.4%	0.1%	6
49.9%	49.9%	0.1%	7
62.4%	37.4%	0.1%	8
62.4%	37.4%	0.1%	9
71.8%	28.1%	0.1%	10
79.6%	20.3%	0.1%	11
79.6%	20.3%	0.1%	12
85%	14.8%	0.1%	13
89.3%	10.5%	0.1%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample48.0ms (0.1%)

Algorithm

1×

intervals

Results

19.0ms	71×	body	1024	valid
14.0ms	151×	body	128	valid
4.0ms	24×	body	512	valid
1.0ms	10×	body	256	valid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify98.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	12	14
1	12	14

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

0.1b

Counts

2 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

0.1b	(*.f64 x (cos.f64 y))
0.1b	(*.f64 z (sin.f64 y))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
0.1b	(*.f64 z (sin.f64 y))
0.1b	(*.f64 x (cos.f64 y))

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_7602`
7×	`add-cbrt-cube_binary64_7616` `*-un-lft-identity_binary64_7580` `pow1_binary64_7641` `add-cube-cbrt_binary64_7615` `add-exp-log_binary64_7618`
6×	`associate-r_binary64_7520` `associate-l_binary64_7521`
5×	`add-log-exp_binary64_7619`
2×	`pow-prod-down_binary64_7651` `unswap-sqr_binary64_7548` `cbrt-unprod_binary64_7613` `prod-exp_binary64_7629` `*-commutative_binary64_7511`
1×	`+-commutative_binary64_7510` `flip-+_binary64_7554` `sum-log_binary64_7671` `flip3-+_binary64_7583`

Counts

3 → 47

Calls

6 calls:

5.0ms	(*.f64 x (cos.f64 y))
4.0ms	(*.f64 z (sin.f64 y))
4.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
0.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
0.0ms	(*.f64 x (cos.f64 y))

series376.0ms (0.8%)

Counts

3 → 34

Calls

3 calls:

225.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
79.0ms	(*.f64 x (cos.f64 y))
71.0ms	(*.f64 z (sin.f64 y))

Compiler

Compiled 540 to 478 computations (11.5% saved)

simplify100.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	5018	896

prune217.0ms (0.5%)

Pruning

39 alts after pruning (38 fresh and 1 done)

	Pruned	Kept	Total
New	43	38	81
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	43	39	82

Error

0.0b

Counts

82 → 39

Compiler

Compiled 1246 to 577 computations (53.7% saved)

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

0.1b	(*.f64 x (cos.f64 y))
0.1b	(*.f64 z (sin.f64 y))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (pow.f64 (.f64 z (sin.f64 y)) 1))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (pow.f64 (.f64 z (sin.f64 y)) 1))
0.1b	(*.f64 z (sin.f64 y))
0.1b	(*.f64 x (cos.f64 y))

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_7602`
7×	`add-cbrt-cube_binary64_7616` `*-un-lft-identity_binary64_7580` `pow1_binary64_7641` `add-cube-cbrt_binary64_7615` `add-exp-log_binary64_7618`
6×	`associate-r_binary64_7520` `associate-l_binary64_7521`
5×	`add-log-exp_binary64_7619`
2×	`pow-prod-down_binary64_7651` `unswap-sqr_binary64_7548` `cbrt-unprod_binary64_7613` `prod-exp_binary64_7629` `*-commutative_binary64_7511`
1×	`+-commutative_binary64_7510` `flip-+_binary64_7554` `sum-log_binary64_7671` `flip3-+_binary64_7583`

Counts

3 → 47

Calls

6 calls:

5.0ms	(+.f64 (.f64 x (cos.f64 y)) (pow.f64 (.f64 z (sin.f64 y)) 1))
4.0ms	(*.f64 z (sin.f64 y))
4.0ms	(*.f64 x (cos.f64 y))
0.0ms	(+.f64 (.f64 x (cos.f64 y)) (pow.f64 (.f64 z (sin.f64 y)) 1))
0.0ms	(*.f64 z (sin.f64 y))

series372.0ms (0.8%)

Counts

3 → 34

Calls

3 calls:

216.0ms	(+.f64 (.f64 x (cos.f64 y)) (pow.f64 (.f64 z (sin.f64 y)) 1))
81.0ms	(*.f64 x (cos.f64 y))
75.0ms	(*.f64 z (sin.f64 y))

Compiler

Compiled 596 to 534 computations (10.4% saved)

simplify106.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4885	886
1	4885	886

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_7619`
1×	`add-cbrt-cube_binary64_7616` `add-sqr-sqrt_binary64_7602` `*-un-lft-identity_binary64_7580` `pow1_binary64_7641` `+-commutative_binary64_7510` `flip-+_binary64_7554` `add-cube-cbrt_binary64_7615` `sum-log_binary64_7671` `add-exp-log_binary64_7618` `flip3-+_binary64_7583`

Counts

1 → 11

Calls

2 calls:

3.0ms	(+.f64 x (*.f64 y z))
0.0ms	(+.f64 x (*.f64 y z))

series78.0ms (0.2%)

Counts

1 → 18

Calls

1 calls:

78.0ms

(+.f64 x (*.f64 y z))

Compiler

Compiled 109 to 122 computations (-11.9% saved)

simplify73.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5078	226

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

3.1b	(.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6)))
0.1b	(*.f64 (pow.f64 y 3) -1/6)
0.1b	(*.f64 x (cos.f64 y))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))))
0.1b	(*.f64 x (cos.f64 y))
0.1b	(*.f64 (pow.f64 y 3) -1/6)
3.1b	(.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6)))

rewrite27.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_7602`
18×	`associate-l_binary64_7521`
13×	`add-exp-log_binary64_7618`
12×	`*-un-lft-identity_binary64_7580` `add-cube-cbrt_binary64_7615`
10×	`add-cbrt-cube_binary64_7616`
9×	`associate-r_binary64_7520`
8×	`pow1_binary64_7641`
6×	`add-log-exp_binary64_7619` `unswap-sqr_binary64_7548`
5×	`prod-exp_binary64_7629`
4×	`unpow-prod-down_binary64_7659` `cube-prod_binary64_7608`
3×	`cbrt-unprod_binary64_7613` `*-commutative_binary64_7511`
2×	`associate-+r+_binary64_7512` `distribute-lft-in_binary64_7529` `pow-prod-down_binary64_7651` `flip-+_binary64_7554` `distribute-rgt-in_binary64_7530` `associate-*r/_binary64_7522` `sqr-pow_binary64_7552` `flip3-+_binary64_7583`
1×	`cube-mult_binary64_7610` `pow-to-exp_binary64_7649` `pow-exp_binary64_7648` `unpow3_binary64_7646` `+-commutative_binary64_7510` `sum-log_binary64_7671`

Counts

4 → 84

Calls

8 calls:

6.0ms	(*.f64 (pow.f64 y 3) -1/6)
6.0ms	(.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6)))
4.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))))
4.0ms	(*.f64 x (cos.f64 y))
0.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))))

series589.0ms (1.3%)

Counts

4 → 43

Calls

4 calls:

329.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))))
151.0ms	(.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6)))
78.0ms	(*.f64 x (cos.f64 y))
30.0ms	(*.f64 (pow.f64 y 3) -1/6)

Compiler

Compiled 903 to 772 computations (14.5% saved)

simplify71.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5159	1723

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (*.f64 z (sin.f64 y)) 3)
0.1b	(*.f64 x (cos.f64 y))
0.1b	(*.f64 z (sin.f64 y))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (cbrt.f64 (pow.f64 (.f64 z (sin.f64 y)) 3)))
0.1b	(*.f64 z (sin.f64 y))
0.1b	(*.f64 x (cos.f64 y))
0.2b	(pow.f64 (*.f64 z (sin.f64 y)) 3)
34.9b	(cbrt.f64 (pow.f64 (*.f64 z (sin.f64 y)) 3))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_7602`
11×	`add-cbrt-cube_binary64_7616` `pow1_binary64_7641` `add-exp-log_binary64_7618`
10×	`*-un-lft-identity_binary64_7580` `add-cube-cbrt_binary64_7615`
8×	`cbrt-prod_binary64_7611`
6×	`associate-r_binary64_7520` `associate-l_binary64_7521`
4×	`add-log-exp_binary64_7619`
3×	`pow-prod-down_binary64_7651` `pow-unpow_binary64_7657` `cbrt-unprod_binary64_7613` `prod-exp_binary64_7629`
2×	`rem-cube-cbrt_binary64_7603` `unswap-sqr_binary64_7548` `cube-mult_binary64_7610` `pow-exp_binary64_7648` `unpow-prod-down_binary64_7659` `cube-prod_binary64_7608` `unpow3_binary64_7646` `pow-pow_binary64_7652` `sqr-pow_binary64_7552` `*-commutative_binary64_7511`
1×	`pow-to-exp_binary64_7649` `rem-cbrt-cube_binary64_7604` `pow1/3_binary64_7662`

Counts

4 → 75

Calls

8 calls:

8.0ms	(*.f64 x (cos.f64 y))
4.0ms	(*.f64 z (sin.f64 y))
4.0ms	(pow.f64 (*.f64 z (sin.f64 y)) 3)
2.0ms	(cbrt.f64 (pow.f64 (*.f64 z (sin.f64 y)) 3))
0.0ms	(+.f64 (.f64 x (cos.f64 y)) (cbrt.f64 (pow.f64 (.f64 z (sin.f64 y)) 3)))

series377.0ms (0.8%)

Counts

4 → 32

Calls

4 calls:

148.0ms	(pow.f64 (*.f64 z (sin.f64 y)) 3)
78.0ms	(cbrt.f64 (pow.f64 (*.f64 z (sin.f64 y)) 3))
77.0ms	(*.f64 x (cos.f64 y))
74.0ms	(*.f64 z (sin.f64 y))

Compiler

Compiled 848 to 748 computations (11.8% saved)

simplify68.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5358	1000

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y))))
0.0b	(sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y))))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
0.1b	(*.f64 z (sin.f64 y))
0.1b	(*.f64 x (cos.f64 y))
0.1b	(*.f64 x (cos.f64 y))
0.2b	(.f64 (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))))

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64_7602`
25×	`pow1_binary64_7641`
18×	`*-un-lft-identity_binary64_7580` `add-cube-cbrt_binary64_7615` `sqrt-prod_binary64_7596`
15×	`associate-r_binary64_7520` `associate-l_binary64_7521`
12×	`add-cbrt-cube_binary64_7616` `sqrt-div_binary64_7597` `add-exp-log_binary64_7618`
8×	`sqrt-pow1_binary64_7598` `swap-sqr_binary64_7547` `pow1/2_binary64_7660`
7×	`unswap-sqr_binary64_7548`
6×	`pow-prod-down_binary64_7651` `flip-+_binary64_7554` `flip3-+_binary64_7583`
5×	`pow-prod-up_binary64_7650`
4×	`add-log-exp_binary64_7619` `frac-times_binary64_7590` `cbrt-unprod_binary64_7613` `prod-exp_binary64_7629` `*-commutative_binary64_7511`
3×	`pow-sqr_binary64_7553`
2×	`rem-sqrt-square_binary64_7593` `associate-r/_binary64_7522` `associate-l/_binary64_7523`
1×	`pow-plus_binary64_7643` `pow2_binary64_7661` `sqrt-unprod_binary64_7600` `rem-square-sqrt_binary64_7592` `sqr-abs_binary64_7595`

Counts

4 → 112

Calls

8 calls:

13.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))))
4.0ms	(*.f64 z (sin.f64 y))
4.0ms	(*.f64 x (cos.f64 y))
4.0ms	(*.f64 x (cos.f64 y))
0.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

series456.0ms (1%)

Counts

4 → 42

Calls

4 calls:

225.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))))
81.0ms	(*.f64 x (cos.f64 y))
77.0ms	(*.f64 x (cos.f64 y))
73.0ms	(*.f64 z (sin.f64 y))

Compiler

Compiled 1206 to 810 computations (32.8% saved)

simplify105.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4922	2228
1	4922	2228

prune4.9s (10.7%)

Pruning

200 alts after pruning (194 fresh and 6 done)

	Pruned	Kept	Total
New	333	165	498
Fresh	4	29	33
Picked	0	0	0
Done	0	6	6
Total	337	200	537

Error

0.0b

Counts

537 → 200

Compiler

Compiled 9127 to 4455 computations (51.2% saved)

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

0.1b	(*.f64 x (cos.f64 y))
0.1b	(*.f64 z (sin.f64 y))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 (cbrt.f64 1) (*.f64 z (sin.f64 y))))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 (cbrt.f64 1) (*.f64 z (sin.f64 y))))
0.1b	(*.f64 z (sin.f64 y))
0.1b	(*.f64 x (cos.f64 y))

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_7602`
7×	`add-cbrt-cube_binary64_7616` `*-un-lft-identity_binary64_7580` `pow1_binary64_7641` `add-cube-cbrt_binary64_7615` `add-exp-log_binary64_7618`
6×	`associate-r_binary64_7520` `associate-l_binary64_7521`
5×	`add-log-exp_binary64_7619`
2×	`pow-prod-down_binary64_7651` `unswap-sqr_binary64_7548` `cbrt-unprod_binary64_7613` `prod-exp_binary64_7629` `*-commutative_binary64_7511`
1×	`+-commutative_binary64_7510` `flip-+_binary64_7554` `sum-log_binary64_7671` `flip3-+_binary64_7583`

Counts

3 → 47

Calls

6 calls:

5.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 (cbrt.f64 1) (*.f64 z (sin.f64 y))))
4.0ms	(*.f64 x (cos.f64 y))
4.0ms	(*.f64 z (sin.f64 y))
0.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 (cbrt.f64 1) (*.f64 z (sin.f64 y))))
0.0ms	(*.f64 z (sin.f64 y))

series399.0ms (0.9%)

Counts

3 → 34

Calls

3 calls:

230.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 (cbrt.f64 1) (*.f64 z (sin.f64 y))))
85.0ms	(*.f64 z (sin.f64 y))
84.0ms	(*.f64 x (cos.f64 y))

Compiler

Compiled 624 to 562 computations (9.9% saved)

simplify90.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4932	966
1	4932	966

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	0	0

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 x (cos.f64 y))
0.1b	(*.f64 z (sin.f64 y))
0.0b	(sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y))))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
0.0b	(sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y))))
0.1b	(*.f64 z (sin.f64 y))
0.1b	(*.f64 x (cos.f64 y))
0.2b	(pow.f64 (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) 2)

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64_7602`
12×	`*-un-lft-identity_binary64_7580` `add-cube-cbrt_binary64_7615`
11×	`pow1_binary64_7641`
9×	`add-exp-log_binary64_7618`
8×	`add-cbrt-cube_binary64_7616`
6×	`associate-r_binary64_7520` `unpow-prod-down_binary64_7659` `sqrt-prod_binary64_7596` `associate-l_binary64_7521`
4×	`add-log-exp_binary64_7619`
3×	`pow-unpow_binary64_7657` `pow-pow_binary64_7652`
2×	`sqrt-pow1_binary64_7598` `pow-prod-down_binary64_7651` `unswap-sqr_binary64_7548` `sqrt-div_binary64_7597` `cbrt-unprod_binary64_7613` `prod-exp_binary64_7629` `*-commutative_binary64_7511` `pow1/2_binary64_7660`
1×	`sqrt-pow2_binary64_7599` `pow-to-exp_binary64_7649` `pow-exp_binary64_7648` `rem-sqrt-square_binary64_7593` `flip-+_binary64_7554` `unpow2_binary64_7645` `sqr-pow_binary64_7552` `flip3-+_binary64_7583`

Counts

4 → 75

Calls

8 calls:

6.0ms	(pow.f64 (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) 2)
4.0ms	(*.f64 z (sin.f64 y))
4.0ms	(*.f64 x (cos.f64 y))
4.0ms	(sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y))))
0.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

series728.0ms (1.6%)

Counts

4 → 43

Calls

4 calls:

424.0ms	(pow.f64 (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) 2)
148.0ms	(sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y))))
79.0ms	(*.f64 z (sin.f64 y))
76.0ms	(*.f64 x (cos.f64 y))

Compiler

Compiled 1171 to 1020 computations (12.9% saved)

simplify105.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5012	1582

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 y -1/6)
0.1b	(*.f64 x (cos.f64 y))
0.1b	(.f64 (.f64 (cbrt.f64 (pow.f64 y 3)) (cbrt.f64 (pow.f64 y 3))) (*.f64 y -1/6))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 y (.f64 (.f64 (cbrt.f64 (pow.f64 y 3)) (cbrt.f64 (pow.f64 y 3))) (*.f64 y -1/6)))))
0.3b	(*.f64 y -1/6)
3.1b	(.f64 z (+.f64 y (.f64 (.f64 (cbrt.f64 (pow.f64 y 3)) (cbrt.f64 (pow.f64 y 3))) (.f64 y -1/6))))
40.4b	(cbrt.f64 (pow.f64 y 3))
40.4b	(cbrt.f64 (pow.f64 y 3))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`cbrt-prod_binary64_7611`
18×	`add-sqr-sqrt_binary64_7602`
14×	`*-un-lft-identity_binary64_7580` `add-cube-cbrt_binary64_7615`
8×	`add-cbrt-cube_binary64_7616` `pow1_binary64_7641` `add-exp-log_binary64_7618`
6×	`associate-r_binary64_7520` `unpow-prod-down_binary64_7659` `cube-prod_binary64_7608` `associate-l_binary64_7521`
4×	`add-log-exp_binary64_7619`
2×	`pow-prod-down_binary64_7651` `unswap-sqr_binary64_7548` `cube-mult_binary64_7610` `unpow3_binary64_7646` `rem-cbrt-cube_binary64_7604` `pow1/3_binary64_7662` `cbrt-unprod_binary64_7613` `prod-exp_binary64_7629` `associate-r/_binary64_7522` `sqr-pow_binary64_7552` `-commutative_binary64_7511`
1×	`distribute-lft-in_binary64_7529` `flip-+_binary64_7554` `distribute-rgt-in_binary64_7530` `flip3-+_binary64_7583`

Counts

4 → 82

Calls

8 calls:

8.0ms	(*.f64 y -1/6)
6.0ms	(.f64 z (+.f64 y (.f64 (.f64 (cbrt.f64 (pow.f64 y 3)) (cbrt.f64 (pow.f64 y 3))) (.f64 y -1/6))))
2.0ms	(cbrt.f64 (pow.f64 y 3))
2.0ms	(cbrt.f64 (pow.f64 y 3))
0.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 y (.f64 (.f64 (cbrt.f64 (pow.f64 y 3)) (cbrt.f64 (pow.f64 y 3))) (*.f64 y -1/6)))))

series231.0ms (0.5%)

Counts

4 → 18

Calls

4 calls:

172.0ms	(.f64 z (+.f64 y (.f64 (.f64 (cbrt.f64 (pow.f64 y 3)) (cbrt.f64 (pow.f64 y 3))) (.f64 y -1/6))))
20.0ms	(cbrt.f64 (pow.f64 y 3))
20.0ms	(*.f64 y -1/6)
19.0ms	(cbrt.f64 (pow.f64 y 3))

Compiler

Compiled 607 to 502 computations (17.3% saved)

simplify97.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4952	864
1	4952	864

localize24.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 1/120 (pow.f64 y 5))
0.0b	(sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y))))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (.f64 (pow.f64 y 3) -1/6))))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
0.4b	(.f64 (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (*.f64 (pow.f64 y 3) -1/6))))))
1.2b	(.f64 z (+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (*.f64 (pow.f64 y 3) -1/6)))
4.0b	(sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (.f64 (pow.f64 y 3) -1/6)))))
18.7b	(+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (.f64 (pow.f64 y 3) -1/6))

rewrite44.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_7602`
14×	`sqrt-div_binary64_7597`
13×	`sqrt-prod_binary64_7596`
11×	`*-un-lft-identity_binary64_7580` `pow1_binary64_7641` `add-cube-cbrt_binary64_7615`
9×	`associate-r_binary64_7520` `add-log-exp_binary64_7619` `flip-+_binary64_7554` `associate-l_binary64_7521` `flip3-+_binary64_7583`
8×	`add-cbrt-cube_binary64_7616` `add-exp-log_binary64_7618`
5×	`unswap-sqr_binary64_7548`
4×	`pow-prod-down_binary64_7651` `frac-times_binary64_7590` `associate-*r/_binary64_7522`
3×	`sqrt-pow1_binary64_7598` `sum-log_binary64_7671` `pow1/2_binary64_7660`
2×	`cbrt-unprod_binary64_7613` `prod-exp_binary64_7629` `-commutative_binary64_7511` `associate-l/_binary64_7523`
1×	`distribute-lft-in_binary64_7529` `rem-sqrt-square_binary64_7593` `+-commutative_binary64_7510` `sqrt-unprod_binary64_7600` `distribute-rgt-in_binary64_7530` `associate-+l+_binary64_7513`

Counts

4 → 88

Calls

8 calls:

13.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (*.f64 (pow.f64 y 3) -1/6))))))
8.0ms	(.f64 z (+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (*.f64 (pow.f64 y 3) -1/6)))
6.0ms	(+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (.f64 (pow.f64 y 3) -1/6))
4.0ms	(sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (.f64 (pow.f64 y 3) -1/6)))))
0.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

series1.6s (3.4%)

Counts

4 → 44

Calls

4 calls:

1.1s	(.f64 (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (*.f64 (pow.f64 y 3) -1/6))))))
246.0ms	(sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 z (+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (.f64 (pow.f64 y 3) -1/6)))))
195.0ms	(.f64 z (+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (*.f64 (pow.f64 y 3) -1/6)))
55.0ms	(+.f64 (+.f64 y (.f64 1/120 (pow.f64 y 5))) (.f64 (pow.f64 y 3) -1/6))

Compiler

Compiled 4768 to 3402 computations (28.6% saved)

simplify111.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4959	5730
1	4959	5730

prune9.7s (21%)

Pruning

349 alts after pruning (338 fresh and 11 done)

	Pruned	Kept	Total
New	268	163	431
Fresh	14	175	189
Picked	0	0	0
Done	0	11	11
Total	282	349	631

Error

0.0b

Counts

631 → 349

Compiler

Compiled 17325 to 10405 computations (39.9% saved)

localize12.0ms (0%)

Local error

Found 6 expressions with local error:

0.1b	(*.f64 x (cos.f64 y))
0.1b	(*.f64 z (sin.f64 y))
0.0b	(+.f64 (pow.f64 (.f64 x (cos.f64 y)) 1) (.f64 (cbrt.f64 1) (*.f64 z (sin.f64 y))))
0.0b	(+.f64 (pow.f64 (.f64 x (cos.f64 y)) 1) (.f64 (cbrt.f64 1) (*.f64 z (sin.f64 y))))
0.1b	(*.f64 z (sin.f64 y))
0.1b	(*.f64 x (cos.f64 y))

rewrite18.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_7602`
7×	`add-cbrt-cube_binary64_7616` `*-un-lft-identity_binary64_7580` `pow1_binary64_7641` `add-cube-cbrt_binary64_7615` `add-exp-log_binary64_7618`
6×	`associate-r_binary64_7520` `associate-l_binary64_7521`
5×	`add-log-exp_binary64_7619`
2×	`pow-prod-down_binary64_7651` `unswap-sqr_binary64_7548` `cbrt-unprod_binary64_7613` `prod-exp_binary64_7629` `*-commutative_binary64_7511`
1×	`+-commutative_binary64_7510` `flip-+_binary64_7554` `sum-log_binary64_7671` `flip3-+_binary64_7583`

Counts

3 → 47

Calls

6 calls:

5.0ms	(+.f64 (pow.f64 (.f64 x (cos.f64 y)) 1) (.f64 (cbrt.f64 1) (*.f64 z (sin.f64 y))))
4.0ms	(*.f64 x (cos.f64 y))
4.0ms	(*.f64 z (sin.f64 y))
0.0ms	(+.f64 (pow.f64 (.f64 x (cos.f64 y)) 1) (.f64 (cbrt.f64 1) (*.f64 z (sin.f64 y))))
0.0ms	(*.f64 z (sin.f64 y))

series380.0ms (0.8%)

Counts

3 → 34

Calls

3 calls:

218.0ms	(+.f64 (pow.f64 (.f64 x (cos.f64 y)) 1) (.f64 (cbrt.f64 1) (*.f64 z (sin.f64 y))))
84.0ms	(*.f64 x (cos.f64 y))
77.0ms	(*.f64 z (sin.f64 y))

Compiler

Compiled 680 to 618 computations (9.1% saved)

simplify86.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4919	956
1	4919	956

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_7619`
1×	`add-cbrt-cube_binary64_7616` `add-sqr-sqrt_binary64_7602` `*-un-lft-identity_binary64_7580` `pow1_binary64_7641` `+-commutative_binary64_7510` `flip-+_binary64_7554` `add-cube-cbrt_binary64_7615` `sum-log_binary64_7671` `add-exp-log_binary64_7618` `flip3-+_binary64_7583`

Counts

1 → 11

Calls

2 calls:

3.0ms	(+.f64 x (*.f64 y z))
0.0ms	(+.f64 x (*.f64 y z))

series78.0ms (0.2%)

Counts

1 → 18

Calls

1 calls:

78.0ms

(+.f64 x (*.f64 y z))

Compiler

Compiled 163 to 176 computations (-8% saved)

simplify71.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5078	226

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

1.9b	(.f64 z (sqrt.f64 (neg.f64 (.f64 (sin.f64 y) (-.f64 (.f64 (pow.f64 y 3) 1/6) (+.f64 y (.f64 1/120 (pow.f64 y 5))))))))
0.1b	(*.f64 (pow.f64 y 3) 1/6)
0.0b	(*.f64 1/120 (pow.f64 y 5))
0.0b	(.f64 (sin.f64 y) (-.f64 (.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))))
0.1b	(*.f64 (pow.f64 y 3) 1/6)
1.9b	(.f64 z (sqrt.f64 (neg.f64 (.f64 (sin.f64 y) (-.f64 (.f64 (pow.f64 y 3) 1/6) (+.f64 y (.f64 1/120 (pow.f64 y 5))))))))
18.7b	(sqrt.f64 (neg.f64 (.f64 (sin.f64 y) (-.f64 (.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))))))
18.7b	(-.f64 (.f64 (pow.f64 y 3) 1/6) (+.f64 y (.f64 1/120 (pow.f64 y 5))))

rewrite39.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64_7602`
15×	`associate-l_binary64_7521`
13×	`*-un-lft-identity_binary64_7580` `add-cube-cbrt_binary64_7615` `sqrt-prod_binary64_7596`
12×	`associate-r_binary64_7520`
11×	`add-exp-log_binary64_7618`
9×	`add-log-exp_binary64_7619`
8×	`add-cbrt-cube_binary64_7616`
7×	`pow1_binary64_7641`
6×	`unswap-sqr_binary64_7548` `associate-*r/_binary64_7522`
4×	`distribute-neg-frac_binary64_7544` `unpow-prod-down_binary64_7659` `cube-prod_binary64_7608` `sqrt-div_binary64_7597` `prod-exp_binary64_7629`
3×	`flip--_binary64_7555` `flip3--_binary64_7584` `cancel-sign-sub-inv_binary64_7546`
2×	`diff-log_binary64_7672` `neg-mul-1_binary64_7576` `cbrt-unprod_binary64_7613` `sqr-pow_binary64_7552` `distribute-lft-neg-in_binary64_7537` `*-commutative_binary64_7511` `distribute-rgt-neg-in_binary64_7538`
1×	`sqrt-pow1_binary64_7598` `pow-prod-down_binary64_7651` `cube-mult_binary64_7610` `pow-to-exp_binary64_7649` `pow-exp_binary64_7648` `unpow3_binary64_7646` `rem-sqrt-square_binary64_7593` `associate--r+_binary64_7516` `sub-neg_binary64_7573` `sum-log_binary64_7671` `pow1/2_binary64_7660`

Counts

4 → 92

Calls

8 calls:

8.0ms	(-.f64 (.f64 (pow.f64 y 3) 1/6) (+.f64 y (.f64 1/120 (pow.f64 y 5))))
8.0ms	(.f64 z (sqrt.f64 (neg.f64 (.f64 (sin.f64 y) (-.f64 (.f64 (pow.f64 y 3) 1/6) (+.f64 y (.f64 1/120 (pow.f64 y 5))))))))
6.0ms	(*.f64 (pow.f64 y 3) 1/6)
3.0ms	(sqrt.f64 (neg.f64 (.f64 (sin.f64 y) (-.f64 (.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))))))
0.0ms	(.f64 (sin.f64 y) (-.f64 (.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))))

series492.0ms (1.1%)

Counts

4 → 21

Calls

4 calls:

350.0ms	(.f64 z (sqrt.f64 (neg.f64 (.f64 (sin.f64 y) (-.f64 (.f64 (pow.f64 y 3) 1/6) (+.f64 y (.f64 1/120 (pow.f64 y 5))))))))
53.0ms	(-.f64 (.f64 (pow.f64 y 3) 1/6) (+.f64 y (.f64 1/120 (pow.f64 y 5))))
52.0ms	(sqrt.f64 (neg.f64 (.f64 (sin.f64 y) (-.f64 (.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))))))
36.0ms	(*.f64 (pow.f64 y 3) 1/6)

Compiler

Compiled 666 to 583 computations (12.5% saved)

simplify114.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4859	2320
1	4859	2320

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 z (sin.f64 y))
0.1b	(*.f64 z (sin.f64 y))
0.0b	(+.f64 (sqrt.f64 (.f64 z (sin.f64 y))) (.f64 1/2 (.f64 (.f64 x (cos.f64 y)) (sqrt.f64 (/.f64 1 (*.f64 z (sin.f64 y)))))))
0.0b	(.f64 1/2 (.f64 (.f64 x (cos.f64 y)) (sqrt.f64 (/.f64 1 (.f64 z (sin.f64 y))))))
0.1b	(*.f64 x (cos.f64 y))
0.2b	(/.f64 1 (*.f64 z (sin.f64 y)))
2.7b	(sqrt.f64 (/.f64 1 (*.f64 z (sin.f64 y))))
5.9b	(sqrt.f64 (*.f64 z (sin.f64 y)))

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-exp-log_binary64_7618`
16×	`pow1_binary64_7641`
13×	`add-sqr-sqrt_binary64_7602`
11×	`add-cbrt-cube_binary64_7616`
10×	`*-un-lft-identity_binary64_7580` `add-cube-cbrt_binary64_7615`
8×	`sqrt-prod_binary64_7596`
6×	`sqrt-pow1_binary64_7598` `times-frac_binary64_7586`
4×	`add-log-exp_binary64_7619` `pow-prod-down_binary64_7651` `prod-exp_binary64_7629` `div-exp_binary64_7631` `pow-flip_binary64_7654`
3×	`associate-r_binary64_7520` `associate-/l_binary64_7525` `associate-l*_binary64_7521`
2×	`div-inv_binary64_7577` `rec-exp_binary64_7630` `1-exp_binary64_7624` `cbrt-unprod_binary64_7613` `cbrt-undiv_binary64_7614` `inv-pow_binary64_7665` `pow1/2_binary64_7660`
1×	`unswap-sqr_binary64_7548` `frac-2neg_binary64_7591` `clear-num_binary64_7579` `associate-/r_binary64_7524` `sqrt-div_binary64_7597` `rem-sqrt-square_binary64_7593` `-commutative_binary64_7511`

Counts

4 → 78

Calls

8 calls:

5.0ms	(/.f64 1 (*.f64 z (sin.f64 y)))
4.0ms	(sqrt.f64 (/.f64 1 (*.f64 z (sin.f64 y))))
4.0ms	(*.f64 x (cos.f64 y))
3.0ms	(sqrt.f64 (*.f64 z (sin.f64 y)))
0.0ms	(.f64 1/2 (.f64 (.f64 x (cos.f64 y)) (sqrt.f64 (/.f64 1 (.f64 z (sin.f64 y))))))

series293.0ms (0.6%)

Counts

4 → 24

Calls

4 calls:

90.0ms	(/.f64 1 (*.f64 z (sin.f64 y)))
74.0ms	(sqrt.f64 (/.f64 1 (*.f64 z (sin.f64 y))))
68.0ms	(*.f64 x (cos.f64 y))
61.0ms	(sqrt.f64 (*.f64 z (sin.f64 y)))

Compiler

Compiled 1138 to 892 computations (21.6% saved)

simplify111.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	5207	949

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 z (sin.f64 y))
0.1b	(*.f64 z (sin.f64 y))
0.0b	(sqrt.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 (.f64 (cbrt.f64 (.f64 z (sin.f64 y))) (cbrt.f64 (.f64 z (sin.f64 y)))) (cbrt.f64 (.f64 z (sin.f64 y))))))
0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 (.f64 (cbrt.f64 (.f64 z (sin.f64 y))) (cbrt.f64 (.f64 z (sin.f64 y)))) (cbrt.f64 (.f64 z (sin.f64 y)))))
0.5b	(.f64 (cbrt.f64 (.f64 z (sin.f64 y))) (cbrt.f64 (*.f64 z (sin.f64 y))))
6.3b	(cbrt.f64 (*.f64 z (sin.f64 y)))
6.3b	(cbrt.f64 (*.f64 z (sin.f64 y)))
6.3b	(cbrt.f64 (*.f64 z (sin.f64 y)))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64_7641`
10×	`add-sqr-sqrt_binary64_7602`
9×	`pow1/3_binary64_7662`
8×	`*-un-lft-identity_binary64_7580` `add-cube-cbrt_binary64_7615`
7×	`cbrt-prod_binary64_7611`
6×	`add-exp-log_binary64_7618`
4×	`associate-r_binary64_7520` `add-log-exp_binary64_7619` `add-cbrt-cube_binary64_7616` `swap-sqr_binary64_7547` `associate-l_binary64_7521`
2×	`pow-prod-down_binary64_7651` `pow-prod-up_binary64_7650` `pow-sqr_binary64_7553`
1×	`unswap-sqr_binary64_7548` `pow-plus_binary64_7643` `pow2_binary64_7661` `cbrt-unprod_binary64_7613` `prod-exp_binary64_7629` `*-commutative_binary64_7511`

Counts

4 → 58

Calls

8 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 z (sin.f64 y))) (cbrt.f64 (*.f64 z (sin.f64 y))))
3.0ms	(cbrt.f64 (*.f64 z (sin.f64 y)))
3.0ms	(cbrt.f64 (*.f64 z (sin.f64 y)))
3.0ms	(cbrt.f64 (*.f64 z (sin.f64 y)))
0.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 (.f64 (cbrt.f64 (.f64 z (sin.f64 y))) (cbrt.f64 (.f64 z (sin.f64 y)))) (cbrt.f64 (.f64 z (sin.f64 y)))))

series1.1s (2.4%)

Counts

4 → 32

Calls

4 calls:

356.0ms	(.f64 (cbrt.f64 (.f64 z (sin.f64 y))) (cbrt.f64 (*.f64 z (sin.f64 y))))
262.0ms	(cbrt.f64 (*.f64 z (sin.f64 y)))
253.0ms	(cbrt.f64 (*.f64 z (sin.f64 y)))
237.0ms	(cbrt.f64 (*.f64 z (sin.f64 y)))

Compiler

Compiled 1976 to 1414 computations (28.4% saved)

simplify82.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4992	986
1	4992	986

prune12.3s (26.6%)

Pruning

474 alts after pruning (458 fresh and 16 done)

	Pruned	Kept	Total
New	275	140	415
Fresh	15	318	333
Picked	0	0	0
Done	0	16	16
Total	290	474	764

Error

0.0b

Counts

764 → 474

Compiler

Compiled 6313 to 3165 computations (49.9% saved)

simplify444.0ms (1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4992	29684
1	4992	29684

regimes5.5s (11.9%)

Compiler: Compiled 55808 to 40530 computations (27.4% saved)

bsearch0.0ms (0%)

regimes298.0ms (0.6%)

Compiler: Compiled 840 to 777 computations (7.5% saved)

bsearch53.0ms (0.1%)

Steps

Iters	Range		Point
10	3.68044111185807e-117	5.226397872221729e-98	9.231496610728872e-110
4	-6.891382328866927	-4.331557493125406	-4.411552019242329

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes170.0ms (0.4%)

Compiler: Compiled 273 to 279 computations (-2.2% saved)

bsearch158.0ms (0.3%)

Steps

Iters	Range		Point
9	6.639084670263887e+273	4.654860078742596e+278	1.9157988469942e+276
9	9.685351887798206e+240	7.731048767032987e+247	5.116343572629984e+246
8	0.0040699540410467725	11.93538935469354	0.17893328512251064
9	-0.0008065174313803598	-3.6975352921922985e-10	-0.0007964734916068528

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes104.0ms (0.2%)

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

bsearch47.0ms (0.1%)

Steps

Iters	Range		Point
8	0.0040699540410467725	11.93538935469354	0.05272274975251243
9	-0.0008065174313803598	-3.6975352921922985e-10	-0.0007964734916068528

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes54.0ms (0.1%)

Compiler: Compiled 234 to 231 computations (1.3% saved)

bsearch0.0ms (0%)

regimes75.0ms (0.2%)

Compiler: Compiled 39 to 90 computations (-130.8% saved)

bsearch60.0ms (0.1%)

Steps

Iters	Range		Point
9	7.1203481798052555e-106	1.0373502932871057e-99	8.499998298007809e-103
8	-8.095279844946e-170	-2.680399151972403e-173	-6.00319968229266e-171

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes29.0ms (0.1%)

Compiler: Compiled 18 to 63 computations (-250% saved)

bsearch7.0ms (0%)

Compiler: Compiled 138 to 92 computations (33.3% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	155	189
1	155	189

end0.0ms (0%)

sample2.1s (4.6%)

Algorithm

1×

intervals

Results

556.0ms	1982×	body	1024	valid
305.0ms	4516×	body	128	valid
201.0ms	994×	body	512	valid
76.0ms	502×	body	256	valid
3.0ms	6×	body	2048	valid

Compiler

Compiled 14210 to 10326 computations (27.3% saved)