Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 66 to 53 computations (19.7% saved)

sample1.8s (5%)

Results

1.8s

8256×

body

128

valid

Compiler

Compiled 197 to 158 computations (19.8% saved)

simplify60.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

660×	`fma-neg_binary64`
578×	`times-frac_binary64`
564×	`cancel-sign-sub-inv_binary64`
389×	`fma-def_binary64`
380×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	93
1	91	69
2	270	69
3	825	69
4	2840	69
5	4839	69
6	5074	69

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

15.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	15.1b	(-.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))
▶	15.1b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

Status

Error

Program

15.1b

(-.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))

▶

15.1b

(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

Compiler

Compiled 335 to 262 computations (21.8% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 3275911/10000000 (fabs.f64 x))
✓	0.6b	(+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))
✓	0.9b	(+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))
✓	15.1b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

series487.0ms (1.3%)

Counts

4 → 36

Calls

4 calls:

368.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
100.0ms	(+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))
16.0ms	(+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))
2.0ms	(*.f64 3275911/10000000 (fabs.f64 x))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
10×	`add-log-exp_binary64`
7×	`associate-r_binary64`

Counts

4 → 80

Calls

4 calls:

4.0ms	(*.f64 3275911/10000000 (fabs.f64 x))
3.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
3.0ms	(+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))
3.0ms	(+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))

simplify176.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

654×	`fma-def_binary64`
356×	`associate-*l/_binary64`
300×	`associate-*r/_binary64`
217×	`cancel-sign-sub-inv_binary64`
212×	`fma-neg_binary64`

Counts

116 → 131

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	186	6399
1	486	4719
2	1624	4340
3	4380	4340
4	4852	4340

prune850.0ms (2.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	275	4	279
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	277	4	281

Error

15.1b

Counts

281 → 4

Alt Table

Status	Error	Program
▶	15.1b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.1b	(+.f64 (fma.f64 1 1 (neg.f64 (.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000)))))))))))) (fma.f64 (neg.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))))))
	16.0b	(-.f64 (+.f64 1 (.f64 (/.f64 (exp.f64 (neg.f64 (.f64 x x))) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 2)) (+.f64 (/.f64 1453152027/1000000000 (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 2)) 8890523/31250000))) (+.f64 (/.f64 1061405429/1000000000 (.f64 (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 5) (exp.f64 (.f64 x x)))) (.f64 (/.f64 (exp.f64 (neg.f64 (.f64 x x))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (+.f64 (/.f64 1421413741/1000000000 (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 2)) 31853699/125000000))))
	16.0b	(-.f64 (+.f64 1 (+.f64 (.f64 1453152027/1000000000 (/.f64 (exp.f64 (neg.f64 (pow.f64 (fabs.f64 x) 2))) (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 4))) (.f64 8890523/31250000 (/.f64 (exp.f64 (neg.f64 (pow.f64 (fabs.f64 x) 2))) (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 2))))) (+.f64 (.f64 31853699/125000000 (/.f64 (exp.f64 (neg.f64 (pow.f64 (fabs.f64 x) 2))) (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))))) (+.f64 (.f64 1061405429/1000000000 (/.f64 (exp.f64 (neg.f64 (pow.f64 (fabs.f64 x) 2))) (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 5))) (.f64 1421413741/1000000000 (/.f64 (exp.f64 (neg.f64 (pow.f64 (fabs.f64 x) 2))) (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 3))))))

Compiler

Compiled 21792 to 16009 computations (26.5% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))
✓	0.6b	(pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)
	0.9b	(+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))
✓	14.5b	(-.f64 (pow.f64 1 3) (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))

series2.3s (6.3%)

Counts

2 → 24

Calls

2 calls:

1.8s

(-.f64 (pow.f64 1 3) (pow.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))) 3))

507.0ms

(pow.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))) 3)

rewrite98.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

96×	`prod-diff_binary64`
55×	`add-sqr-sqrt_binary64`
50×	`*-un-lft-identity_binary64`
45×	`cube-prod_binary64`
45×	`unpow-prod-down_binary64`

Counts

2 → 193

Calls

2 calls:

13.0ms

(pow.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))) 3)

11.0ms

(-.f64 (pow.f64 1 3) (pow.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))) 3))

simplify767.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

332×	`associate-r_binary64`
319×	`associate-l_binary64`
303×	`log-prod_binary64`
218×	`cube-prod_binary64`
189×	`exp-prod_binary64`

Counts

217 → 199

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	333	44337
1	839	27994
2	3770	21104
3	4620	21104
4	4838	21104

prune4.3s (11.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	425	6	431
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	428	7	435

Error

14.1b

Counts

435 → 7

Alt Table

Status	Error	Program
	15.1b	(/.f64 (-.f64 (pow.f64 1 3) (exp.f64 (.f64 3 (-.f64 (log.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (.f64 x x))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.8b	(/.f64 (log.f64 (exp.f64 (-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 3)))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	14.3b	(/.f64 (-.f64 (pow.f64 1 3) (log1p.f64 (expm1.f64 (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 3)))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
▶	14.2b	(/.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.1b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (-.f64 (+.f64 1421413741/1000000000 (.f64 1061405429/1000000000 (/.f64 1 (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 2)))) (.f64 1453152027/1000000000 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.7b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 3/2) 6)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 3) (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 6)))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	16.0b	(-.f64 (+.f64 1 (+.f64 (.f64 1453152027/1000000000 (/.f64 (exp.f64 (neg.f64 (pow.f64 (fabs.f64 x) 2))) (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 4))) (.f64 8890523/31250000 (/.f64 (exp.f64 (neg.f64 (pow.f64 (fabs.f64 x) 2))) (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 2))))) (+.f64 (.f64 31853699/125000000 (/.f64 (exp.f64 (neg.f64 (pow.f64 (fabs.f64 x) 2))) (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))))) (+.f64 (.f64 1061405429/1000000000 (/.f64 (exp.f64 (neg.f64 (pow.f64 (fabs.f64 x) 2))) (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 5))) (.f64 1421413741/1000000000 (/.f64 (exp.f64 (neg.f64 (pow.f64 (fabs.f64 x) 2))) (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 3))))))

Compiler

Compiled 147141 to 109526 computations (25.6% saved)

localize37.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))
	0.6b	(pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)
	0.9b	(+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))
✓	14.4b	(log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))

series6.7s (18.3%)

Counts

1 → 12

Calls

1 calls:

6.7s

(log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`log-prod_binary64`
11×	`*-un-lft-identity_binary64`
9×	`times-frac_binary64`
8×	`add-sqr-sqrt_binary64`
8×	`add-cube-cbrt_binary64`

Counts

1 → 28

Calls

1 calls:

8.0ms

(log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))

simplify154.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

542×	`exp-prod_binary64`
265×	`distribute-rgt-in_binary64`
262×	`distribute-lft-in_binary64`
243×	`times-frac_binary64`
237×	`associate-l_binary64`

Counts

40 → 53

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	5179
1	283	3855
2	821	3630
3	3909	3594
4	4985	3594
5	4943	3594

prune3.7s (10%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	354	3	357
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	358	6	364

Error

14.0b

Counts

364 → 6

Alt Table

Status	Error	Program
▶	14.2b	(/.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.7b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 3/2) 6)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 3) (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 6)))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.1b	(/.f64 (-.f64 (pow.f64 1 3) (exp.f64 (.f64 3 (-.f64 (log.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (.f64 x x))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.1b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (-.f64 (+.f64 1421413741/1000000000 (.f64 1061405429/1000000000 (/.f64 1 (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 2)))) (.f64 1453152027/1000000000 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	14.3b	(/.f64 (+.f64 (neg.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3))))) (-.f64 1 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3)))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	18.0b	(/.f64 (+.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 (E.f64)) (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3)))))) (log.f64 (/.f64 (cbrt.f64 (E.f64)) (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3)))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))

Compiler

Compiled 105421 to 78827 computations (25.2% saved)

localize52.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))
	0.6b	(pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)
	0.9b	(+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))
	14.4b	(log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))

prune11.9s (32.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	721	2	723
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	722	7	729

Error

11.9b

Counts

729 → 7

Alt Table

Status	Error	Program
	14.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))) (cbrt.f64 (+.f64 (log.f64 (/.f64 (sqrt.f64 (exp.f64 (pow.f64 1 3))) 1)) (log.f64 (/.f64 (sqrt.f64 (exp.f64 (pow.f64 1 3))) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.7b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 3/2) 6)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 3) (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 6)))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.1b	(/.f64 (-.f64 (pow.f64 1 3) (exp.f64 (.f64 3 (-.f64 (log.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (.f64 x x))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.1b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (-.f64 (+.f64 1421413741/1000000000 (.f64 1061405429/1000000000 (/.f64 1 (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 2)))) (.f64 1453152027/1000000000 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	14.3b	(/.f64 (+.f64 (neg.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3))))) (-.f64 1 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3)))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	18.0b	(/.f64 (+.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 (E.f64)) (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3)))))) (log.f64 (/.f64 (cbrt.f64 (E.f64)) (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3)))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	12.0b	(/.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (cbrt.f64 (+.f64 (log.f64 (/.f64 (sqrt.f64 (exp.f64 (pow.f64 1 3))) (.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))) (cbrt.f64 (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (log.f64 (/.f64 (sqrt.f64 (exp.f64 (pow.f64 1 3))) (cbrt.f64 (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))

Compiler

Compiled 317609 to 239661 computations (24.5% saved)

regimes1.7s (4.7%)

Accuracy

Total 0.0b remaining (0.4%)

Threshold costs 0.0b (0.4%)

Counts

92 → 1

Compiler

Compiled 74589 to 56996 computations (23.6% saved)

simplify21.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	826
1	78	826
2	85	826
3	90	826
4	93	826
5	94	826
6	91	826

end1.4s (3.9%)

Compiler: Compiled 3487 to 2659 computations (23.7% saved)

Details

analyze1.0ms (0%)

sample1.8s (5%)

simplify60.0ms (0.2%)

prune8.0ms (0%)

localize25.0ms (0.1%)

series487.0ms (1.3%)

rewrite19.0ms (0.1%)

simplify176.0ms (0.5%)

prune850.0ms (2.3%)

localize32.0ms (0.1%)

series2.3s (6.3%)

rewrite98.0ms (0.3%)

simplify767.0ms (2.1%)

prune4.3s (11.6%)

localize37.0ms (0.1%)

series6.7s (18.3%)

rewrite13.0ms (0%)

simplify154.0ms (0.4%)

prune3.7s (10%)

localize52.0ms (0.1%)

prune11.9s (32.5%)

regimes1.7s (4.7%)

simplify21.0ms (0.1%)

end1.4s (3.9%)

Profiling