Details

analyze2.3s (22.9%)

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
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	99.9%	0.1%	9
0%	99.9%	0.1%	10
0%	99.9%	0.1%	11
0%	99.9%	0.1%	12
0%	99.9%	0.1%	13
0%	99.9%	0.1%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample2.9s (28.9%)

Results

1.5s	2025×	body	1024	valid
811.0ms	4668×	body	128	valid
434.0ms	1025×	body	512	valid
160.0ms	531×	body	256	valid
13.0ms	7×	body	2048	valid

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	13	12
2	16	12
3	16	12

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))

Compiler

Compiled 42 to 23 computations (45.2% saved)

localize14.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))
✓	0.1b	(*.f64 z (sin.f64 y))

series23.0ms (0.2%)

Counts

2 → 60

Calls

2 calls:

16.0ms	(fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))
7.0ms	(*.f64 z (sin.f64 y))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-exp-log_binary64`

Counts

2 → 30

Calls

2 calls:

3.0ms	(*.f64 z (sin.f64 y))
0.0ms	(fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))

simplify86.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

519×	`fma-neg_binary64`
465×	`distribute-rgt-neg-in_binary64`
379×	`distribute-lft-neg-in_binary64`
307×	`distribute-rgt-in_binary64`
280×	`*-commutative_binary64`

Counts

90 → 65

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	80	972
1	183	913
2	538	901
3	1443	900
4	2915	900
5	4952	900
6	5012	900

prune41.0ms (0.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	60	5	65
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	60	6	66

Error

0.1b

Counts

66 → 6

Alt Table

Status	Error	Program
	34.5b	(.f64 (sqrt.f64 (fma.f64 x (cos.f64 y) (.f64 z (sin.f64 y)))) (sqrt.f64 (fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))))
	1.4b	(.f64 (.f64 (cbrt.f64 (fma.f64 x (cos.f64 y) (.f64 z (sin.f64 y)))) (cbrt.f64 (fma.f64 x (cos.f64 y) (.f64 z (sin.f64 y))))) (cbrt.f64 (fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))))
	33.9b	(fma.f64 x (cos.f64 y) (.f64 (.f64 z (sqrt.f64 (sin.f64 y))) (sqrt.f64 (sin.f64 y))))
▶	0.6b	(fma.f64 x (cos.f64 y) (.f64 (.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (sin.f64 y))))
	29.4b	(fma.f64 x (cos.f64 y) (.f64 (sqrt.f64 z) (.f64 (sqrt.f64 z) (sin.f64 y))))
✓	0.1b	(fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))

Compiler

Compiled 1079 to 358 computations (66.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 z (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
✓	0.3b	(.f64 (.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (sin.f64 y)))
✓	0.5b	(*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
✓	0.6b	(cbrt.f64 (sin.f64 y))

series1.0s (10%)

Counts

4 → 72

Calls

4 calls:

585.0ms	(.f64 z (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
242.0ms	(*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
182.0ms	(cbrt.f64 (sin.f64 y))
8.0ms	(.f64 (.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (sin.f64 y)))

rewrite27.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
25×	`pow1_binary64`
22×	`cbrt-prod_binary64`
20×	`add-exp-log_binary64`
16×	`*-un-lft-identity_binary64`

Counts

4 → 102

Calls

4 calls:

8.0ms	(.f64 z (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
8.0ms	(.f64 (.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (sin.f64 y)))
5.0ms	(*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
1.0ms	(cbrt.f64 (sin.f64 y))

simplify128.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

601×	`unswap-sqr_binary64`
518×	`fma-neg_binary64`
478×	`*-commutative_binary64`
394×	`cancel-sign-sub-inv_binary64`
368×	`log-prod_binary64`

Counts

174 → 177

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	173	2226
1	429	1857
2	1367	1728
3	2548	1694
4	4453	1676
5	4953	1676
6	5033	1676

prune194.0ms (1.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	222	5	227
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	225	8	233

Error

0.0b

Counts

233 → 8

Alt Table

Status	Error	Program
	0.7b	(fma.f64 x (cos.f64 y) (.f64 (.f64 z (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 2) (cbrt.f64 (cbrt.f64 (sin.f64 y))))))
	34.5b	(.f64 (sqrt.f64 (fma.f64 x (cos.f64 y) (.f64 z (sin.f64 y)))) (sqrt.f64 (fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))))
	0.7b	(fma.f64 x (cos.f64 y) (.f64 (.f64 (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))) (cbrt.f64 (sin.f64 y))))
	33.9b	(fma.f64 x (cos.f64 y) (.f64 (.f64 z (sqrt.f64 (sin.f64 y))) (sqrt.f64 (sin.f64 y))))
▶	0.6b	(fma.f64 x (cos.f64 y) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (.f64 (sin.f64 y) z))) (cbrt.f64 (*.f64 (sin.f64 y) z))))
✓	0.1b	(fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))
	0.9b	(fma.f64 x (cos.f64 y) (.f64 (.f64 z (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 2))) (cbrt.f64 (sin.f64 y))))
	3.1b	(fma.f64 x (cos.f64 y) (.f64 (.f64 z (cbrt.f64 (pow.f64 (sin.f64 y) 2))) (cbrt.f64 (sin.f64 y))))

Compiler

Compiled 5384 to 1727 computations (67.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sin.f64 y) z)
✓	0.3b	(.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (.f64 (sin.f64 y) z))) (cbrt.f64 (*.f64 (sin.f64 y) z)))
✓	0.4b	(.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (*.f64 (sin.f64 y) z)))
✓	9.9b	(cbrt.f64 (*.f64 (sin.f64 y) z))

series1.2s (11.8%)

Counts

4 → 76

Calls

4 calls:

736.0ms	(.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (*.f64 (sin.f64 y) z)))
438.0ms	(cbrt.f64 (*.f64 (sin.f64 y) z))
21.0ms	(.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (.f64 (sin.f64 y) z))) (cbrt.f64 (*.f64 (sin.f64 y) z)))
7.0ms	(*.f64 (sin.f64 y) z)

rewrite22.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`pow1_binary64`
16×	`add-sqr-sqrt_binary64`
16×	`pow1/3_binary64`
13×	`add-exp-log_binary64`
11×	`associate-r_binary64`

Counts

4 → 99

Calls

4 calls:

7.0ms	(.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (.f64 (sin.f64 y) z))) (cbrt.f64 (*.f64 (sin.f64 y) z)))
4.0ms	(.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (*.f64 (sin.f64 y) z)))
3.0ms	(*.f64 (sin.f64 y) z)
2.0ms	(cbrt.f64 (*.f64 (sin.f64 y) z))

simplify153.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

598×	`fma-neg_binary64`
446×	`cancel-sign-sub-inv_binary64`
362×	`*-commutative_binary64`
350×	`fma-def_binary64`
293×	`unswap-sqr_binary64`

Counts

175 → 163

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	187	2515
1	438	2130
2	1255	1828
3	2988	1665
4	4882	1665
5	4993	1665
6	4881	1665

prune342.0ms (3.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	258	3	261
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	261	8	269

Error

0.0b

Counts

269 → 8

Alt Table

Status	Error	Program
	12.3b	(fma.f64 x (cos.f64 y) (.f64 (cbrt.f64 (pow.f64 (.f64 z (sin.f64 y)) 2)) (cbrt.f64 (*.f64 (sin.f64 y) z))))
✓	0.1b	(fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))
	34.5b	(.f64 (sqrt.f64 (fma.f64 x (cos.f64 y) (.f64 z (sin.f64 y)))) (sqrt.f64 (fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))))
	0.7b	(fma.f64 x (cos.f64 y) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (.f64 (sin.f64 y) z))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 y) z))) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 y) z)))) (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 y) z))))))
	33.9b	(fma.f64 x (cos.f64 y) (.f64 (.f64 z (sqrt.f64 (sin.f64 y))) (sqrt.f64 (sin.f64 y))))
▶	0.6b	(fma.f64 x (cos.f64 y) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (.f64 (sin.f64 y) z))) (cbrt.f64 (.f64 (.f64 (sin.f64 y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))))
	0.9b	(fma.f64 x (cos.f64 y) (.f64 (.f64 z (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 2))) (cbrt.f64 (sin.f64 y))))
	3.1b	(fma.f64 x (cos.f64 y) (.f64 (.f64 z (cbrt.f64 (pow.f64 (sin.f64 y) 2))) (cbrt.f64 (sin.f64 y))))

Compiler

Compiled 7176 to 1805 computations (74.8% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (*.f64 (sin.f64 y) z)))
✓	0.6b	(cbrt.f64 z)
	9.9b	(cbrt.f64 (*.f64 (sin.f64 y) z))
✓	9.9b	(cbrt.f64 (.f64 (.f64 (sin.f64 y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))

series543.0ms (5.3%)

Counts

2 → 36

Calls

2 calls:

510.0ms	(cbrt.f64 (.f64 (.f64 (sin.f64 y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))
32.0ms	(cbrt.f64 z)

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`cbrt-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`

Counts

2 → 24

Calls

2 calls:

6.0ms	(cbrt.f64 (.f64 (.f64 (sin.f64 y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))
1.0ms	(cbrt.f64 z)

simplify63.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

708×	`fma-def_binary64`
532×	`cancel-sign-sub-inv_binary64`
304×	`fma-neg_binary64`
289×	`exp-sum_binary64`
259×	`distribute-rgt-neg-in_binary64`

Counts

60 → 50

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	81	669
1	175	635
2	429	574
3	1508	518
4	4415	514
5	5004	514

prune241.0ms (2.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	207	2	209
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	208	9	217

Error

0.0b

Counts

217 → 9

Alt Table

Status	Error	Program
	33.9b	(fma.f64 x (cos.f64 y) (.f64 (.f64 z (sqrt.f64 (sin.f64 y))) (sqrt.f64 (sin.f64 y))))
	0.6b	(fma.f64 x (cos.f64 y) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (.f64 (sin.f64 y) z))) (.f64 (cbrt.f64 (.f64 (sin.f64 y) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (cbrt.f64 (cbrt.f64 z)))))
	12.3b	(fma.f64 x (cos.f64 y) (.f64 (cbrt.f64 (pow.f64 (.f64 z (sin.f64 y)) 2)) (cbrt.f64 (*.f64 (sin.f64 y) z))))
	0.6b	(fma.f64 x (cos.f64 y) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (.f64 (sin.f64 y) z))) (cbrt.f64 (.f64 (sin.f64 y) z))))) (cbrt.f64 (.f64 (.f64 (sin.f64 y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))))
✓	0.1b	(fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))
	34.5b	(.f64 (sqrt.f64 (fma.f64 x (cos.f64 y) (.f64 z (sin.f64 y)))) (sqrt.f64 (fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))))
✓	0.6b	(fma.f64 x (cos.f64 y) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 y) z)) (cbrt.f64 (.f64 (sin.f64 y) z))) (cbrt.f64 (.f64 (.f64 (sin.f64 y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))))
	0.9b	(fma.f64 x (cos.f64 y) (.f64 (.f64 z (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 2))) (cbrt.f64 (sin.f64 y))))
	3.1b	(fma.f64 x (cos.f64 y) (.f64 (.f64 z (cbrt.f64 (pow.f64 (sin.f64 y) 2))) (cbrt.f64 (sin.f64 y))))

Compiler

Compiled 7253 to 1684 computations (76.8% saved)

regimes475.0ms (4.7%)

Accuracy

Total 0.1b remaining (43.1%)

Threshold costs 0.1b (43.1%)

Counts

103 → 1

Compiler

Compiled 10192 to 5270 computations (48.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	9	12
2	9	12

end254.0ms (2.5%)

Compiler: Compiled 242 to 128 computations (47.1% saved)

Details

analyze2.3s (22.9%)

sample2.9s (28.9%)

simplify7.0ms (0.1%)

prune3.0ms (0%)

localize14.0ms (0.1%)

series23.0ms (0.2%)

rewrite4.0ms (0%)

simplify86.0ms (0.8%)

prune41.0ms (0.4%)

localize11.0ms (0.1%)

series1.0s (10%)

rewrite27.0ms (0.3%)

simplify128.0ms (1.3%)

prune194.0ms (1.9%)

localize11.0ms (0.1%)

series1.2s (11.8%)

rewrite22.0ms (0.2%)

simplify153.0ms (1.5%)

prune342.0ms (3.4%)

localize18.0ms (0.2%)

series543.0ms (5.3%)

rewrite8.0ms (0.1%)

simplify63.0ms (0.6%)

prune241.0ms (2.4%)

regimes475.0ms (4.7%)

simplify2.0ms (0%)

end254.0ms (2.5%)

Profiling