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.9s (1.3%)

Results

1.8s

8256×

body

128

valid

Compiler

Compiled 197 to 158 computations (19.8% saved)

simplify32.0ms (0%)

Algorithm

1×	egg-herbie

Rules

578×	`times-frac_binary64`
389×	`fma-def_binary64`
379×	`distribute-rgt-in_binary64`
367×	`fma-neg_binary64`
358×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	93
1	91	69
2	341	69
3	1054	69
4	4353	69

Stop Event

1×	node limit

Counts

1 → 2

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

14.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	14.4b	(+.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) (pow.f64 (exp.f64 x) x))))

Status

Error

Program

▶

14.4b

(+.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) (pow.f64 (exp.f64 x) x))))

Compiler

Compiled 205 to 158 computations (22.9% saved)

localize20.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.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))
✓	0.5b	(+.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)))
✓	0.8b	(+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
✓	14.3b	(+.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) (pow.f64 (exp.f64 x) x))))

series931.0ms (0.6%)

Counts

4 → 48

Calls

4 calls:

725.0ms	(+.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) (pow.f64 (exp.f64 x) x))))
119.0ms	(/.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))
71.0ms	(+.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)))
16.0ms	(+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)))

rewrite56.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

267×	`log1p-expm1-u_binary64`
267×	`expm1-log1p-u_binary64`
265×	`add-cbrt-cube_binary64`
261×	`add-log-exp_binary64`
259×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	153
1	564	153

Stop Event

1×	node limit

Counts

4 → 81

Calls

4 calls:

54.0ms	(/.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))
54.0ms	(+.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)))
54.0ms	(+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
54.0ms	(+.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) (pow.f64 (exp.f64 x) x))))

simplify140.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

981×	`fma-def_binary64`
606×	`associate-/l*_binary64`
434×	`times-frac_binary64`
259×	`+-commutative_binary64`
246×	`associate-+r+_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	807	8972
1	2603	7742

Stop Event

1×	node limit

Counts

129 → 99

prune345.0ms (0.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	95	4	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	96	4	100

Error

14.3b

Counts

100 → 4

Alt Table

Status	Error	Program
	14.4b	(+.f64 1 (/.f64 (-.f64 -31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (fma.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (/.f64 1 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1421413741/1000000000) (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) (pow.f64 (exp.f64 x) x))))
	16.0b	(fma.f64 (pow.f64 (cbrt.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) (pow.f64 (exp.f64 x) x)))) 2) (cbrt.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) (pow.f64 (exp.f64 x) x)))) 1)
	15.2b	(log.f64 (exp.f64 (+.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) (pow.f64 (exp.f64 x) x))))))
▶	14.3b	(/.f64 (+.f64 1 (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) (pow.f64 (exp.f64 x) x))) 3)) (+.f64 1 (-.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) (pow.f64 (exp.f64 x) x))) 2) (/.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) (pow.f64 (exp.f64 x) x))))))

Compiler

Compiled 14319 to 10501 computations (26.7% saved)

localize24.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(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) (pow.f64 (exp.f64 x) x))) 2)
✓	0.5b	(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) (pow.f64 (exp.f64 x) x))) 3)
	0.8b	(+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
✓	13.8b	(+.f64 1 (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) (pow.f64 (exp.f64 x) x))) 3))

series28.1s (18.8%)

Counts

3 → 36

Calls

3 calls:

27.5s

(+.f64 1 (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) (pow.f64 (exp.f64 x) x))) 3))

357.0ms

(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) (pow.f64 (exp.f64 x) x))) 3)

263.0ms

(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) (pow.f64 (exp.f64 x) x))) 2)

rewrite65.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

303×	`log1p-expm1-u_binary64`
303×	`expm1-log1p-u_binary64`
297×	`add-cbrt-cube_binary64`
290×	`add-log-exp_binary64`
289×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	210
1	657	210

Stop Event

1×	node limit

Counts

3 → 53

Calls

3 calls:

63.0ms

(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) (pow.f64 (exp.f64 x) x))) 2)

63.0ms

(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) (pow.f64 (exp.f64 x) x))) 3)

63.0ms

(+.f64 1 (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) (pow.f64 (exp.f64 x) x))) 3))

simplify943.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5717	62751

Stop Event

1×	node limit

Counts

89 → 70

prune1.3s (0.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	137	2	139
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	139	4	143

Error

13.4b

Counts

143 → 4

Alt Table

Status	Error	Program
	14.4b	(+.f64 1 (/.f64 (-.f64 -31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (fma.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (/.f64 1 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1421413741/1000000000) (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) (pow.f64 (exp.f64 x) x))))
	14.3b	(/.f64 (+.f64 1 (cbrt.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) (pow.f64 (exp.f64 x) x))) 9))) (+.f64 1 (-.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) (pow.f64 (exp.f64 x) x))) 2) (/.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) (pow.f64 (exp.f64 x) x))))))
▶	13.4b	(/.f64 (log.f64 (+.f64 1 (expm1.f64 (+.f64 1 (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) (pow.f64 (exp.f64 x) x))) 3))))) (+.f64 1 (-.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) (pow.f64 (exp.f64 x) x))) 2) (/.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) (pow.f64 (exp.f64 x) x))))))
	16.0b	(fma.f64 (pow.f64 (cbrt.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) (pow.f64 (exp.f64 x) x)))) 2) (cbrt.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) (pow.f64 (exp.f64 x) x)))) 1)

Compiler

Compiled 59065 to 43773 computations (25.9% saved)

localize29.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(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) (pow.f64 (exp.f64 x) x))) 3)
	0.8b	(+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
✓	13.7b	(log.f64 (+.f64 1 (expm1.f64 (+.f64 1 (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) (pow.f64 (exp.f64 x) x))) 3)))))
	13.8b	(+.f64 1 (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) (pow.f64 (exp.f64 x) x))) 3))

Details

analyze1.0ms (0%)

sample1.9s (1.3%)

simplify32.0ms (0%)

prune5.0ms (0%)

localize20.0ms (0%)

series931.0ms (0.6%)

rewrite56.0ms (0%)

simplify140.0ms (0.1%)

prune345.0ms (0.2%)

localize24.0ms (0%)

series28.1s (18.8%)

rewrite65.0ms (0%)

simplify943.0ms (0.6%)

prune1.3s (0.9%)

localize29.0ms (0%)

series1.9min (77.4%)

Profiling