Details

analyze1.5s (1.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	74.7%	25.3%	8
0%	74.7%	25.3%	9
0%	65.4%	34.6%	10
0%	51.4%	48.6%	11
0%	51.4%	48.6%	12
0%	51.4%	48.6%	13
0%	51.4%	48.6%	14

Compiler

Compiled 30 to 21 computations (30% saved)

sample4.3s (3.8%)

Symmetry

(sort z t a)

Results

2.5s	11630×	body	128	invalid
1.7s	8252×	body	128	valid
1.0ms	2×	body	512	valid
1.0ms	2×	body	256	valid

Compiler

Compiled 89 to 62 computations (30.3% saved)

simplify81.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2664×	`associate-+l+_binary64`
1041×	`associate-+r+_binary64`
923×	`+-commutative_binary64`
750×	`fma-def_binary64`
5×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	30
1	41	26
2	109	26
3	376	26
4	1118	26
5	1592	26
6	1698	26
7	1698	26
8	1698	26
9	1698	26
10	2706	26
11	2958	26
12	2958	26
13	2910	26
14	2910	26
15	2540	26
16	2524	26

prune4.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 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))

Compiler

Compiled 99 to 61 computations (38.4% saved)

localize15.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)
✓	0.1b	(fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))
✓	0.1b	(fma.f64 x (log.f64 y) z)

series1.2s (1.1%)

Counts

3 → 180

Calls

3 calls:

878.0ms	(fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))
172.0ms	(+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)
144.0ms	(fma.f64 x (log.f64 y) z)

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64`
8×	`add-log-exp_binary64`
4×	`distribute-lft-out_binary64`
4×	`fma-def_binary64`
4×	`add-sqr-sqrt_binary64`

Counts

3 → 41

Calls

3 calls:

4.0ms	(+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)
0.0ms	(fma.f64 x (log.f64 y) z)
0.0ms	(fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))

simplify83.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

561×	`distribute-rgt-in_binary64`
559×	`associate-+r+_binary64`
534×	`distribute-lft-in_binary64`
432×	`fma-def_binary64`
406×	`associate--l+_binary64`

Counts

221 → 106

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	137	3890
1	359	3777
2	1086	3403
3	5043	3403

prune96.0ms (0.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	102	4	106
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	102	5	107

Error

0.1b

Counts

107 → 5

Alt Table

Status	Error	Program
▶	0.6b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
	30.7b	(fma.f64 y i (*.f64 (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
	1.2b	(fma.f64 y i (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
✓	0.1b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))
	49.3b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (/.f64 (+.f64 (pow.f64 (+.f64 (fma.f64 (log.f64 y) x z) t) 3) (pow.f64 a 3)) (fma.f64 a a (*.f64 (+.f64 (fma.f64 (log.f64 y) x z) t) (-.f64 (+.f64 (fma.f64 (log.f64 y) x z) t) a))))))

Compiler

Compiled 2890 to 1033 computations (64.3% saved)

localize18.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 x (log.f64 y) z)
✓	0.2b	(fma.f64 (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)
✓	0.5b	(*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))
✓	0.6b	(cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))

series1.6min (84.5%)

Counts

3 → 156

Calls

3 calls:

1.6min

(fma.f64 (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)

806.0ms

(*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))

778.0ms

(cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`*-un-lft-identity_binary64`
28×	`cbrt-prod_binary64`
20×	`add-sqr-sqrt_binary64`
14×	`cbrt-div_binary64`
12×	`add-cube-cbrt_binary64`

Counts

3 → 81

Calls

3 calls:

7.0ms

(*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))

2.0ms

(cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))

0.0ms

(fma.f64 (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)

simplify235.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

443×	`*-commutative_binary64`
332×	`+-commutative_binary64`
257×	`fma-def_binary64`
246×	`associate-+r+_binary64`
199×	`associate-r_binary64`

Counts

237 → 306

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1203	16760
1	4200	16238
2	5055	16238

prune977.0ms (0.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	573	5	578
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	575	8	583

Error

0.0b

Counts

583 → 8

Alt Table

Status	Error	Program
	29.6b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 a (+.f64 t (+.f64 (.f64 2/3 (/.f64 (.f64 (pow.f64 t 2) (.f64 (log.f64 y) x)) (pow.f64 (+.f64 t z) 2))) (+.f64 (.f64 1/3 (.f64 (log.f64 y) x)) (+.f64 (.f64 2/3 (/.f64 (.f64 (pow.f64 z 2) (.f64 (log.f64 y) x)) (pow.f64 (+.f64 t z) 2))) (+.f64 z (.f64 4/3 (/.f64 (.f64 t (.f64 z (.f64 (log.f64 y) x))) (pow.f64 (+.f64 t z) 2)))))))))))
	39.1b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 t (fma.f64 (log.f64 y) x z)))) 3)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
▶	0.6b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))) (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
✓	0.6b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
	27.7b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x z) 2)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
	0.7b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))) (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))) a)))
✓	0.1b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))
	30.7b	(fma.f64 y i (*.f64 (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))

Compiler

Compiled 45964 to 20292 computations (55.9% saved)

localize23.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))
	0.5b	(*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))
	0.6b	(cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))
✓	0.6b	(cbrt.f64 (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))))

series1.4s (1.2%)

Counts

2 → 96

Calls

2 calls:

824.0ms	(cbrt.f64 (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))))
560.0ms	(cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`cbrt-div_binary64`
12×	`cbrt-prod_binary64`
7×	`flip-+_binary64`
7×	`flip3-+_binary64`
6×	`*-un-lft-identity_binary64`

Counts

2 → 38

Calls

2 calls:

6.0ms	(cbrt.f64 (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))))
2.0ms	(cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))

simplify160.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

889×	`fma-def_binary64`
753×	`times-frac_binary64`
325×	`*-commutative_binary64`
181×	`+-commutative_binary64`
177×	`sqr-pow_binary64`

Counts

134 → 197

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	847	11031
1	2894	10719
2	5045	10719

prune1.9s (1.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	832	0	832
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	832	8	840

Error

0.0b

Counts

840 → 8

Alt Table

Status	Error	Program
	29.6b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 a (+.f64 t (+.f64 (.f64 2/3 (/.f64 (.f64 (pow.f64 t 2) (.f64 (log.f64 y) x)) (pow.f64 (+.f64 t z) 2))) (+.f64 (.f64 1/3 (.f64 (log.f64 y) x)) (+.f64 (.f64 2/3 (/.f64 (.f64 (pow.f64 z 2) (.f64 (log.f64 y) x)) (pow.f64 (+.f64 t z) 2))) (+.f64 z (.f64 4/3 (/.f64 (.f64 t (.f64 z (.f64 (log.f64 y) x))) (pow.f64 (+.f64 t z) 2)))))))))))
	39.1b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 t (fma.f64 (log.f64 y) x z)))) 3)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
✓	0.6b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))) (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
✓	0.6b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
	27.7b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x z) 2)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
▶	0.7b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))) (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))) a)))
✓	0.1b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))
	30.7b	(fma.f64 y i (*.f64 (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))

Compiler

Compiled 87349 to 33961 computations (61.1% saved)

localize36.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))))
	0.5b	(cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))
	0.5b	(*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))
	0.6b	(cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))

series795.0ms (0.7%)

Counts

1 → 48

Calls

1 calls:

794.0ms

(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

70×	`cbrt-prod_binary64`
31×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
24×	`cbrt-div_binary64`
13×	`add-cube-cbrt_binary64`

Counts

1 → 69

Calls

1 calls:

11.0ms

(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))))

simplify129.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

663×	`associate-l_binary64`
527×	`fma-def_binary64`
269×	`times-frac_binary64`
200×	`*-commutative_binary64`
196×	`associate-/r*_binary64`

Counts

117 → 157

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	510	8363
1	1699	7430
2	4981	7430

prune2.3s (2.1%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	1104	0	1104
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	1104	8	1112

Error

0.0b

Counts

1112 → 8

Alt Table

Status	Error	Program
	29.6b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 a (+.f64 t (+.f64 (.f64 2/3 (/.f64 (.f64 (pow.f64 t 2) (.f64 (log.f64 y) x)) (pow.f64 (+.f64 t z) 2))) (+.f64 (.f64 1/3 (.f64 (log.f64 y) x)) (+.f64 (.f64 2/3 (/.f64 (.f64 (pow.f64 z 2) (.f64 (log.f64 y) x)) (pow.f64 (+.f64 t z) 2))) (+.f64 z (.f64 4/3 (/.f64 (.f64 t (.f64 z (.f64 (log.f64 y) x))) (pow.f64 (+.f64 t z) 2)))))))))))
	39.1b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 t (fma.f64 (log.f64 y) x z)))) 3)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
✓	0.6b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))) (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
✓	0.6b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
	27.7b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x z) 2)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) a)))
✓	0.7b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (fma.f64 (.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t))) (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))) (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) z) t)))) a)))
✓	0.1b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))
	30.7b	(fma.f64 y i (*.f64 (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))

Compiler

Compiled 113667 to 41794 computations (63.2% saved)

regimes1.5s (1.3%)

Accuracy

Total 0.0b remaining (32.9%)

Threshold costs 0.0b (32.9%)

Counts

98 → 1

Compiler

Compiled 51257 to 25228 computations (50.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
1×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	26
1	23	26
2	24	26
3	23	26

end702.0ms (0.6%)

Compiler: Compiled 510 to 267 computations (47.6% saved)

Details

analyze1.5s (1.3%)

sample4.3s (3.8%)

simplify81.0ms (0.1%)

prune4.0ms (0%)

localize15.0ms (0%)

series1.2s (1.1%)

rewrite7.0ms (0%)

simplify83.0ms (0.1%)

prune96.0ms (0.1%)

localize18.0ms (0%)

series1.6min (84.5%)

rewrite17.0ms (0%)

simplify235.0ms (0.2%)

prune977.0ms (0.9%)

localize23.0ms (0%)

series1.4s (1.2%)

rewrite11.0ms (0%)

simplify160.0ms (0.1%)

prune1.9s (1.7%)

localize36.0ms (0%)

series795.0ms (0.7%)

rewrite20.0ms (0%)

simplify129.0ms (0.1%)

prune2.3s (2.1%)

regimes1.5s (1.3%)

simplify3.0ms (0%)

end702.0ms (0.6%)

Profiling