Details

analyze1.4s (7.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
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.4%	0.2%	12
12.1%	87.7%	0.2%	13
21.4%	78.3%	0.4%	14

Compiler

Compiled 19 to 12 computations (36.8% saved)

sample1.7s (8.7%)

Results

946.0ms	6904×	body	128	valid
201.0ms	1270×	body	128	invalid
172.0ms	417×	body	1024	valid
152.0ms	501×	body	512	valid
94.0ms	364×	body	256	valid
31.0ms	70×	body	2048	valid

Compiler

Compiled 56 to 35 computations (37.5% saved)

simplify86.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

836×	`unsub-neg_binary64`
769×	`fma-def_binary64`
696×	`div-sub_binary64`
646×	`sub-neg_binary64`
478×	`neg-mul-1_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	21	19
2	52	17
3	144	17
4	421	17
5	1092	17
6	2657	17
7	3901	17
8	4408	17
9	4807	17
10	4881	17

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

10.6b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	14.3b	(fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)
	22.9b	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))

Compiler

Compiled 100 to 55 computations (45% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 t x) (-.f64 a z))
✓	14.3b	(fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)

series99.0ms (0.5%)

Counts

2 → 108

Calls

2 calls:

69.0ms	(fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)
29.0ms	(/.f64 (-.f64 t x) (-.f64 a z))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64`
38×	`add-sqr-sqrt_binary64`
25×	`times-frac_binary64`
14×	`add-cube-cbrt_binary64`
12×	`distribute-lft-out--_binary64`

Counts

2 → 64

Calls

2 calls:

6.0ms	(/.f64 (-.f64 t x) (-.f64 a z))
0.0ms	(fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)

simplify131.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

523×	`cancel-sign-sub-inv_binary64`
479×	`sub-neg_binary64`
353×	`associate-+r+_binary64`
286×	`+-commutative_binary64`
272×	`associate-+l+_binary64`

Counts

172 → 136

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	356	6269
1	1045	6192
2	3851	6156
3	5233	6156

prune130.0ms (0.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	128	8	136
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	130	8	138

Error

0.7b

Counts

138 → 8

Alt Table

Status	Error	Program
	19.9b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (/.f64 (.f64 y t) (-.f64 a z)) x)) (+.f64 (/.f64 (.f64 y x) (-.f64 a z)) (/.f64 (.f64 t z) (-.f64 a z))))
	42.2b	(exp.f64 (log.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
	32.9b	(*.f64 (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))) x)
	38.9b	(-.f64 (+.f64 (/.f64 (.f64 y x) z) (+.f64 t (/.f64 (.f64 a t) z))) (+.f64 (/.f64 (.f64 y t) z) (/.f64 (.f64 a x) z)))
	40.3b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (sqrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
▶	15.2b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
	46.0b	(*.f64 y (-.f64 (/.f64 t (-.f64 a z)) (/.f64 x (-.f64 a z))))
	33.7b	(*.f64 t (-.f64 (/.f64 y (-.f64 a z)) (/.f64 z (-.f64 a z))))

Compiler

Compiled 4850 to 1492 computations (69.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
✓	0.4b	(*.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
✓	0.5b	(cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))
	14.3b	(fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)

series10.0s (52.2%)

Counts

3 → 180

Calls

3 calls:

8.5s

(*.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))

1.4s

(cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))

69.0ms

(*.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
23×	`cbrt-prod_binary64`
16×	`pow1/3_binary64`
14×	`*-un-lft-identity_binary64`

Counts

3 → 93

Calls

3 calls:

7.0ms

(*.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))

5.0ms

(*.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))

1.0ms

(cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))

simplify679.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

273 → 220

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6011	122693

prune1.8s (9.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	558	5	563
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	560	11	571

Error

0.7b

Counts

571 → 11

Alt Table

Status	Error	Program
▶	19.9b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (/.f64 (.f64 y t) (-.f64 a z)) x)) (+.f64 (/.f64 (.f64 y x) (-.f64 a z)) (/.f64 (.f64 t z) (-.f64 a z))))
	48.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 x y) z) (+.f64 t (/.f64 (.f64 a t) z))) (+.f64 (/.f64 (.f64 t y) z) (/.f64 (.f64 x a) z))))) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
	33.7b	(*.f64 t (-.f64 (/.f64 y (-.f64 a z)) (/.f64 z (-.f64 a z))))
	54.4b	(*.f64 (pow.f64 (pow.f64 t 2) 1/3) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
	32.9b	(*.f64 (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))) x)
	60.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (-.f64 (/.f64 x (-.f64 a z)) (/.f64 t (-.f64 a z)))) (log.f64 (/.f64 -1 y))))))
	38.9b	(-.f64 (+.f64 (/.f64 (.f64 y x) z) (+.f64 t (/.f64 (.f64 a t) z))) (+.f64 (/.f64 (.f64 y t) z) (/.f64 (.f64 a x) z)))
	54.6b	(pow.f64 (.f64 (.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x) (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) 1/3)
	40.3b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (sqrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
	46.0b	(*.f64 y (-.f64 (/.f64 t (-.f64 a z)) (/.f64 x (-.f64 a z))))
	37.5b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))) (cbrt.f64 (*.f64 x (+.f64 1 (-.f64 (/.f64 z (-.f64 a z)) (/.f64 y (-.f64 a z)))))))

Compiler

Compiled 140531 to 61149 computations (56.5% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.5b	(/.f64 (*.f64 y x) (-.f64 a z))
✓	5.6b	(/.f64 (*.f64 y t) (-.f64 a z))
✓	8.3b	(/.f64 (*.f64 t z) (-.f64 a z))
✓	13.0b	(/.f64 (*.f64 z x) (-.f64 a z))

series96.0ms (0.5%)

Counts

4 → 96

Calls

4 calls:

30.0ms	(/.f64 (*.f64 y x) (-.f64 a z))
26.0ms	(/.f64 (*.f64 y t) (-.f64 a z))
20.0ms	(/.f64 (*.f64 z x) (-.f64 a z))
20.0ms	(/.f64 (*.f64 t z) (-.f64 a z))

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`*-un-lft-identity_binary64`
28×	`add-sqr-sqrt_binary64`
24×	`add-cbrt-cube_binary64`
24×	`add-exp-log_binary64`
20×	`associate-/r*_binary64`

Counts

4 → 116

Calls

4 calls:

9.0ms	(/.f64 (*.f64 y t) (-.f64 a z))
5.0ms	(/.f64 (*.f64 y x) (-.f64 a z))
5.0ms	(/.f64 (*.f64 t z) (-.f64 a z))
5.0ms	(/.f64 (*.f64 z x) (-.f64 a z))

simplify156.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

871×	`fma-def_binary64`
370×	`associate-/l*_binary64`
350×	`times-frac_binary64`
175×	`associate-l_binary64`
170×	`associate-/r*_binary64`

Counts

212 → 236

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	332	4544
1	943	4292
2	3319	3946
3	4910	3946
4	4992	3946
5	4932	3946

prune192.0ms (1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	234	2	236
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	235	12	247

Error

0.7b

Counts

247 → 12

Alt Table

Status	Error	Program
	20.1b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (/.f64 (.f64 y t) (-.f64 a z)) x)) (+.f64 (/.f64 (.f64 y x) (-.f64 a z)) (/.f64 (/.f64 (.f64 t z) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (cbrt.f64 (-.f64 a z)))))
	38.9b	(-.f64 (+.f64 (/.f64 (.f64 y x) z) (+.f64 t (/.f64 (.f64 a t) z))) (+.f64 (/.f64 (.f64 y t) z) (/.f64 (.f64 a x) z)))
	33.7b	(*.f64 t (-.f64 (/.f64 y (-.f64 a z)) (/.f64 z (-.f64 a z))))
	54.4b	(*.f64 (pow.f64 (pow.f64 t 2) 1/3) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
	32.9b	(*.f64 (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))) x)
	60.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (-.f64 (/.f64 x (-.f64 a z)) (/.f64 t (-.f64 a z)))) (log.f64 (/.f64 -1 y))))))
	54.6b	(pow.f64 (.f64 (.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x) (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) 1/3)
▶	19.8b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (/.f64 (.f64 y t) (-.f64 a z)) x)) (+.f64 (/.f64 y (/.f64 (-.f64 a z) x)) (/.f64 (*.f64 t z) (-.f64 a z))))
	40.3b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (sqrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
	46.0b	(*.f64 y (-.f64 (/.f64 t (-.f64 a z)) (/.f64 x (-.f64 a z))))
	48.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 x y) z) (+.f64 t (/.f64 (.f64 a t) z))) (+.f64 (/.f64 (.f64 t y) z) (/.f64 (.f64 x a) z))))) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
	37.5b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))) (cbrt.f64 (*.f64 x (+.f64 1 (-.f64 (/.f64 z (-.f64 a z)) (/.f64 y (-.f64 a z)))))))

Compiler

Compiled 10684 to 2004 computations (81.2% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.3b	(/.f64 y (/.f64 (-.f64 a z) x))
	5.6b	(/.f64 (*.f64 y t) (-.f64 a z))
	8.3b	(/.f64 (*.f64 t z) (-.f64 a z))
	13.0b	(/.f64 (*.f64 z x) (-.f64 a z))

series29.0ms (0.1%)

Counts

1 → 48

Calls

1 calls:

28.0ms

(/.f64 y (/.f64 (-.f64 a z) x))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

117×	`times-frac_binary64`
81×	`*-un-lft-identity_binary64`
81×	`add-sqr-sqrt_binary64`
57×	`add-cube-cbrt_binary64`
19×	`associate-/r*_binary64`

Counts

1 → 96

Calls

1 calls:

6.0ms

(/.f64 y (/.f64 (-.f64 a z) x))

simplify119.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

747×	`times-frac_binary64`
523×	`associate-/r/_binary64`
497×	`associate-/r*_binary64`
492×	`associate-/l/_binary64`
267×	`fma-def_binary64`

Counts

144 → 150

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	246	3209
1	604	3125
2	1847	2972
3	4677	2971
4	5235	2971

prune245.0ms (1.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	322	0	322
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	322	12	334

Error

0.7b

Counts

334 → 12

Alt Table

Status	Error	Program
	20.1b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (/.f64 (.f64 y t) (-.f64 a z)) x)) (+.f64 (/.f64 (.f64 y x) (-.f64 a z)) (/.f64 (/.f64 (.f64 t z) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (cbrt.f64 (-.f64 a z)))))
	38.9b	(-.f64 (+.f64 (/.f64 (.f64 y x) z) (+.f64 t (/.f64 (.f64 a t) z))) (+.f64 (/.f64 (.f64 y t) z) (/.f64 (.f64 a x) z)))
	33.7b	(*.f64 t (-.f64 (/.f64 y (-.f64 a z)) (/.f64 z (-.f64 a z))))
	54.4b	(*.f64 (pow.f64 (pow.f64 t 2) 1/3) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
	32.9b	(*.f64 (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))) x)
	60.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (-.f64 (/.f64 x (-.f64 a z)) (/.f64 t (-.f64 a z)))) (log.f64 (/.f64 -1 y))))))
	54.6b	(pow.f64 (.f64 (.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x) (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) 1/3)
✓	19.8b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (/.f64 (.f64 y t) (-.f64 a z)) x)) (+.f64 (/.f64 y (/.f64 (-.f64 a z) x)) (/.f64 (*.f64 t z) (-.f64 a z))))
	40.3b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (sqrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
	46.0b	(*.f64 y (-.f64 (/.f64 t (-.f64 a z)) (/.f64 x (-.f64 a z))))
	48.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 x y) z) (+.f64 t (/.f64 (.f64 a t) z))) (+.f64 (/.f64 (.f64 t y) z) (/.f64 (.f64 x a) z))))) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
	37.5b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x))) (cbrt.f64 (*.f64 x (+.f64 1 (-.f64 (/.f64 z (-.f64 a z)) (/.f64 y (-.f64 a z)))))))

Compiler

Compiled 14140 to 2279 computations (83.9% saved)

regimes2.0s (10.4%)

Accuracy

Total 6.9b remaining (88.7%)

Threshold costs 0b (0%)

Counts

133 → 3

Compiler

Compiled 24456 to 12552 computations (48.7% saved)

bsearch6.0ms (0%)

Compiler: Compiled 18 to 11 computations (38.9% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Rules

15×	`+-commutative_binary64`
12×	`*-commutative_binary64`
11×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	137
1	62	137
2	77	137
3	93	137
4	107	137
5	113	137
6	116	137
7	117	137
8	113	137

end191.0ms (1%)

Compiler: Compiled 631 to 274 computations (56.6% saved)

Details

analyze1.4s (7.5%)

sample1.7s (8.7%)

simplify86.0ms (0.4%)

prune4.0ms (0%)

localize8.0ms (0%)

series99.0ms (0.5%)

rewrite14.0ms (0.1%)

simplify131.0ms (0.7%)

prune130.0ms (0.7%)

localize14.0ms (0.1%)

series10.0s (52.2%)

rewrite26.0ms (0.1%)

simplify679.0ms (3.5%)

prune1.8s (9.2%)

localize16.0ms (0.1%)

series96.0ms (0.5%)

rewrite29.0ms (0.1%)

simplify156.0ms (0.8%)

prune192.0ms (1%)

localize16.0ms (0.1%)

series29.0ms (0.1%)

rewrite17.0ms (0.1%)

simplify119.0ms (0.6%)

prune245.0ms (1.3%)

regimes2.0s (10.4%)

bsearch6.0ms (0%)

simplify9.0ms (0%)

end191.0ms (1%)

Profiling