Details

analyze1.1s (10.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
0%	100%	0%	4
0%	100%	0%	5
0%	100%	0%	6
0%	100%	0%	7
0%	100%	0%	8
0%	100%	0%	9
0%	100%	0%	10
0%	100%	0%	11
0%	100%	0%	12
3%	46.9%	50%	13
3.1%	46.8%	50%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample3.6s (34.1%)

Results

2.3s	4221×	body	2048	valid
821.0ms	2026×	body	1024	valid
305.0ms	996×	body	512	valid
104.0ms	498×	body	256	valid
61.0ms	515×	body	128	valid
1.0ms	7×	body	128	invalid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify28.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

685×	`div-sub_binary64`
303×	`associate-/r*_binary64`
302×	`fma-def_binary64`
296×	`fma-neg_binary64`
220×	`associate-/l/_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	31	19
2	76	17
3	215	17
4	640	17
5	1828	17
6	4394	17

Stop Event

1×	node limit

Counts

1 → 2

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.7b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.7b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

Compiler

Compiled 53 to 36 computations (32.1% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 v (*.f64 v -5) 1)
✓	0.0b	(/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))
✓	0.7b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

series6.0ms (0.1%)

Counts

3 → 36

Calls

3 calls:

3.0ms	(/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))
2.0ms	(fma.f64 v (*.f64 v -5) 1)
2.0ms	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

rewrite53.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

891×	`log1p-expm1-u_binary64`
891×	`expm1-log1p-u_binary64`
98×	`add-sqr-sqrt_binary64`
91×	`add-cbrt-cube_binary64`
90×	`egg-rr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	40
1	199	40
2	2345	40

Stop Event

1×	node limit

Counts

3 → 90

Calls

3 calls:

51.0ms	(fma.f64 v (*.f64 v -5) 1)
51.0ms	(/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))
51.0ms	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

simplify33.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

691×	`cancel-sign-sub-inv_binary64`
496×	`fma-def_binary64`
285×	`unswap-sqr_binary64`
214×	`associate-l_binary64`
191×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	43	485
1	122	449
2	343	446
3	1036	446
4	3383	446

Stop Event

1×	node limit

Counts

126 → 111

prune113.0ms (1.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	107	4	111
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	108	4	112

Error

0.6b

Counts

112 → 4

Alt Table

Status	Error	Program
▶	0.7b	(acos.f64 (/.f64 (pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2) (fma.f64 v v -1)))
	62.4b	(/.f64 (-.f64 (.f64 (.f64 (PI.f64) 1/2) (.f64 (PI.f64) 1/2)) (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (+.f64 (.f64 (PI.f64) 1/2) (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))
	1.6b	(cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 3))
	2.5b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) 1/2)) (cbrt.f64 (.f64 (PI.f64) 1/2))) (cbrt.f64 (.f64 (PI.f64) 1/2)) (neg.f64 (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))) (fma.f64 (neg.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))))

Compiler

Compiled 3175 to 2318 computations (27% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (fma.f64 v (*.f64 v -5) 1))
✓	0.0b	(/.f64 (pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2) (fma.f64 v v -1))
✓	0.0b	(pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2)
✓	0.7b	(acos.f64 (/.f64 (pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2) (fma.f64 v v -1)))

series22.0ms (0.2%)

Counts

4 → 48

Calls

4 calls:

14.0ms	(pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2)
3.0ms	(sqrt.f64 (fma.f64 v (*.f64 v -5) 1))
3.0ms	(/.f64 (pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2) (fma.f64 v v -1))
2.0ms	(acos.f64 (/.f64 (pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2) (fma.f64 v v -1)))

rewrite57.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

488×	`log-prod_binary64`
200×	`pow1/3_binary64`
198×	`expm1-udef_binary64`
198×	`log1p-udef_binary64`
185×	`pow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	50
1	262	50
2	2756	50

Stop Event

1×	node limit

Counts

4 → 143

Calls

4 calls:

54.0ms	(sqrt.f64 (fma.f64 v (*.f64 v -5) 1))
54.0ms	(/.f64 (pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2) (fma.f64 v v -1))
54.0ms	(pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2)
54.0ms	(acos.f64 (/.f64 (pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2) (fma.f64 v v -1)))

simplify42.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

501×	`cancel-sign-sub-inv_binary64`
463×	`fma-neg_binary64`
279×	`fma-def_binary64`
225×	`times-frac_binary64`
223×	`unswap-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	84	755
1	260	709
2	779	692
3	2769	692

Stop Event

1×	node limit

Counts

191 → 185

prune154.0ms (1.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	183	2	185
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	185	4	189

Error

0.6b

Counts

189 → 4

Alt Table

Status	Error	Program
	2.5b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) 1/2)) (cbrt.f64 (.f64 (PI.f64) 1/2))) (cbrt.f64 (.f64 (PI.f64) 1/2)) (neg.f64 (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))) (fma.f64 (neg.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))))
	62.4b	(/.f64 (-.f64 (.f64 (.f64 (PI.f64) 1/2) (.f64 (PI.f64) 1/2)) (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (fma.f64 (PI.f64) 1/2 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
✓	0.7b	(acos.f64 (/.f64 (pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2) (fma.f64 v v -1)))
▶	0.7b	(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))) (log.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))

Compiler

Compiled 4764 to 3542 computations (25.7% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
	0.7b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
✓	1.0b	(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))) (log.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))
✓	1.0b	(exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))

series1.9s (17.6%)

Counts

3 → 36

Calls

3 calls:

1.6s

(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))) (log.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))

312.0ms

(cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))

4.0ms

(exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))

rewrite66.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

669×	`prod-diff_binary64`
145×	`add-sqr-sqrt_binary64`
138×	`add-cbrt-cube_binary64`
137×	`add-log-exp_binary64`
136×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	57
1	322	57
2	3694	57

Stop Event

1×	node limit

Counts

3 → 87

Calls

3 calls:

63.0ms

(cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))

63.0ms

(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))) (log.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))

63.0ms

(exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))

simplify57.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

330×	`log-prod_binary64`
315×	`*-commutative_binary64`
296×	`exp-prod_binary64`
254×	`exp-sum_binary64`
219×	`log-pow_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	1068
1	41	1044
2	79	960
3	140	684
4	327	684
5	1285	684
6	3335	684
7	4902	684

Stop Event

1×	node limit

Counts

123 → 92

prune546.0ms (5.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	303	1	304
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	304	4	308

Error

0.6b

Counts

308 → 4

Alt Table

Status	Error	Program
	2.5b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) 1/2)) (cbrt.f64 (.f64 (PI.f64) 1/2))) (cbrt.f64 (.f64 (PI.f64) 1/2)) (neg.f64 (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))) (fma.f64 (neg.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))))
	62.4b	(/.f64 (-.f64 (.f64 (.f64 (PI.f64) 1/2) (.f64 (PI.f64) 1/2)) (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (fma.f64 (PI.f64) 1/2 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
✓	0.7b	(acos.f64 (/.f64 (pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2) (fma.f64 v v -1)))
▶	0.7b	(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))) (log.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) 3))))

Compiler

Compiled 18725 to 13968 computations (25.4% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.7b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
✓	1.0b	(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))) (log.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) 3))))
	1.0b	(exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
✓	1.0b	(pow.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 3)

series1.8s (17%)

Counts

2 → 24

Calls

2 calls:

1.5s

(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))) (log.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 3))))

331.0ms

(pow.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 3)

rewrite65.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

685×	`prod-diff_binary64`
154×	`add-sqr-sqrt_binary64`
149×	`log1p-expm1-u_binary64`
149×	`expm1-log1p-u_binary64`
147×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	36
1	376	36
2	3966	36

Stop Event

1×	node limit

Counts

2 → 64

Calls

2 calls:

63.0ms

(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))) (log.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 3))))

63.0ms

(pow.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 3)

simplify39.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

493×	`log-prod_binary64`
302×	`associate-l_binary64`
251×	`associate-r_binary64`
204×	`distribute-rgt-out_binary64`
187×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	21	876
1	50	852
2	97	768
3	193	432
4	498	432
5	2458	432

Stop Event

1×	node limit

Counts

88 → 66

prune447.0ms (4.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	249	0	249
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	249	4	253

Error

0.6b

Counts

253 → 4

Alt Table

Status	Error	Program
	2.5b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) 1/2)) (cbrt.f64 (.f64 (PI.f64) 1/2))) (cbrt.f64 (.f64 (PI.f64) 1/2)) (neg.f64 (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))) (fma.f64 (neg.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))))
	62.4b	(/.f64 (-.f64 (.f64 (.f64 (PI.f64) 1/2) (.f64 (PI.f64) 1/2)) (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (fma.f64 (PI.f64) 1/2 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
✓	0.7b	(acos.f64 (/.f64 (pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) 2) (fma.f64 v v -1)))
✓	0.7b	(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))) (log.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) 3))))

Compiler

Compiled 16207 to 12220 computations (24.6% saved)

regimes246.0ms (2.3%)

Accuracy

Total 0.0b remaining (2.1%)

Threshold costs 0.0b (2.1%)

Counts

67 → 1

Compiler

Compiled 5462 to 4029 computations (26.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`*-rgt-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	21
1	18	21

Stop Event

1×

saturated

end187.0ms (1.8%)

Compiler: Compiled 287 to 211 computations (26.5% saved)

Details

analyze1.1s (10.6%)

sample3.6s (34.1%)

simplify28.0ms (0.3%)

prune3.0ms (0%)

localize7.0ms (0.1%)

series6.0ms (0.1%)

rewrite53.0ms (0.5%)

simplify33.0ms (0.3%)

prune113.0ms (1.1%)

localize9.0ms (0.1%)

series22.0ms (0.2%)

rewrite57.0ms (0.5%)

simplify42.0ms (0.4%)

prune154.0ms (1.4%)

localize16.0ms (0.1%)

series1.9s (17.6%)

rewrite66.0ms (0.6%)

simplify57.0ms (0.5%)

prune546.0ms (5.1%)

localize18.0ms (0.2%)

series1.8s (17%)

rewrite65.0ms (0.6%)

simplify39.0ms (0.4%)

prune447.0ms (4.2%)

regimes246.0ms (2.3%)

simplify3.0ms (0%)

end187.0ms (1.8%)

Profiling