Details

analyze6.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
62.5%	25%	12.5%	5
62.5%	12.5%	25%	6
65.6%	6.2%	28.2%	7
65.6%	3.1%	31.3%	8
66.4%	1.6%	32.1%	9
66.4%	0.8%	32.8%	10
66.6%	0.4%	33%	11
66.6%	0.2%	33.2%	12
66.6%	0.1%	33.3%	13
66.6%	0%	33.3%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample783.0ms (41.6%)

Results

772.0ms	8256×	body	128	valid
0.0ms	2×	body	128	invalid

preprocess50.0ms (2.6%)

Algorithm

2×	egg-herbie

Rules

986×	`fma-neg_binary64`
313×	`distribute-rgt-neg-in_binary64`
301×	`associate-l_binary64`
241×	`fma-def_binary64`
233×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	21	11
2	55	11
3	135	11
4	228	11
5	392	11
6	762	11
7	1595	11
8	2514	11
9	3707	11
10	4623	11
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))

Outputs
(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
(+.f64 (.f64 238732414637843/250000000000000 x) (.f64 -6450306886639899/50000000000000000 (.f64 x (.f64 x x))))
(fma.f64 238732414637843/250000000000000 x (*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
(fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 238732414637843/250000000000000 x))
(.f64 x (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify40.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

986×	`fma-neg_binary64`
313×	`distribute-rgt-neg-in_binary64`
301×	`associate-l_binary64`
241×	`fma-def_binary64`
233×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	21	11
2	55	11
3	135	11
4	228	11
5	392	11
6	762	11
7	1595	11
8	2514	11
9	3707	11
10	4623	11

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))

Outputs
(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))
(+.f64 (.f64 238732414637843/250000000000000 x) (.f64 -6450306886639899/50000000000000000 (.f64 x (.f64 x x))))
(fma.f64 238732414637843/250000000000000 x (*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
(fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 238732414637843/250000000000000 x))
(.f64 x (fma.f64 (.f64 x x) -6450306886639899/50000000000000000 238732414637843/250000000000000))
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))

prune3.0ms (0.2%)

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

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.1b	(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
	0.1b	(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))

Status

Error

Program

▶

0.1b

(*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))

0.1b

(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 x x) x)))

Compiler

Compiled 62 to 41 computations (33.9% saved)

localize5.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)
✓	0.1b	(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
✓	0.1b	(*.f64 x -6450306886639899/50000000000000000)

New

Error

Program

✓

0.1b

(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)

✓

0.1b

(*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))

✓

0.1b

(*.f64 x -6450306886639899/50000000000000000)

series5.0ms (0.3%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
1.0ms	x	@	-inf	(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
1.0ms	x	@	-inf	(*.f64 x -6450306886639899/50000000000000000)
1.0ms	x	@	0	(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
1.0ms	x	@	0	(*.f64 x -6450306886639899/50000000000000000)

rewrite60.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

641×	`pow1_binary64`
597×	`add-log-exp_binary64`
597×	`log1p-expm1-u_binary64`
597×	`expm1-log1p-u_binary64`
69×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	23
1	142	23
2	1595	23

Stop Event

1×	node limit

Counts

3 → 50

Calls

Call 1

Inputs
(*.f64 x -6450306886639899/50000000000000000)
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)

Inputs

(*.f64 x -6450306886639899/50000000000000000)

(*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))

(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 x -6450306886639899/50000000000000000))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x -6450306886639899/50000000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x -6450306886639899/50000000000000000) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x -6450306886639899/50000000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 x -6450306886639899/50000000000000000)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x -6450306886639899/50000000000000000) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 -6450306886639899/50000000000000000) x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 x -6450306886639899/50000000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x -6450306886639899/50000000000000000) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x -6450306886639899/50000000000000000)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) x) (.f64 238732414637843/250000000000000 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (.f64 x (.f64 x -6450306886639899/50000000000000000))) (.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 238732414637843/250000000000000 (.f64 x (.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) 238732414637843/250000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) 1) 238732414637843/250000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) (pow.f64 (cbrt.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 2) (cbrt.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) (sqrt.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000) (+.f64 (.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) (.f64 x (.f64 x -6450306886639899/50000000000000000))) (-.f64 56993165798814994692847692649/62500000000000000000000000000 (.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) (.f64 x (.f64 x -6450306886639899/50000000000000000))) 56993165798814994692847692649/62500000000000000000000000000) (-.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x -6450306886639899/50000000000000000))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x -6450306886639899/50000000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x -6450306886639899/50000000000000000)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 -6450306886639899/50000000000000000) x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x -6450306886639899/50000000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x -6450306886639899/50000000000000000)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (*.f64 x -6450306886639899/50000000000000000)) x) (*.f64 238732414637843/250000000000000 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 x (*.f64 x -6450306886639899/50000000000000000))) (*.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 238732414637843/250000000000000 (*.f64 x (*.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 x -6450306886639899/50000000000000000)) 238732414637843/250000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (*.f64 x -6450306886639899/50000000000000000)) 1) 238732414637843/250000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 2) (cbrt.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) (sqrt.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x (*.f64 x -6450306886639899/50000000000000000)) 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000) (+.f64 (*.f64 (*.f64 x (*.f64 x -6450306886639899/50000000000000000)) (*.f64 x (*.f64 x -6450306886639899/50000000000000000))) (-.f64 56993165798814994692847692649/62500000000000000000000000000 (*.f64 (*.f64 x (*.f64 x -6450306886639899/50000000000000000)) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x (*.f64 x -6450306886639899/50000000000000000)) (*.f64 x (*.f64 x -6450306886639899/50000000000000000))) 56993165798814994692847692649/62500000000000000000000000000) (-.f64 (*.f64 x (*.f64 x -6450306886639899/50000000000000000)) 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))))

simplify82.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

536×	`unswap-sqr_binary64`
515×	`sqr-pow_binary64`
411×	`associate-l_binary64`
369×	`*-commutative_binary64`
268×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	252
1	34	252
2	61	252
3	125	252
4	328	252
5	1335	252
6	2700	252
7	2886	252
8	3137	252
9	3424	252
10	3803	252
11	4306	252
12	4920	252

Stop Event

1×	node limit

Counts

86 → 62

Calls

Call 1

Inputs
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 238732414637843/250000000000000 x)
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
238732414637843/250000000000000
(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)) 238732414637843/250000000000000)
(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)) 238732414637843/250000000000000)
(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)) 238732414637843/250000000000000)
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))

Outputs
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 -6450306886639899/50000000000000000 x)
(*.f64 238732414637843/250000000000000 x)
(*.f64 x 238732414637843/250000000000000)
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
(fma.f64 x 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
(fma.f64 x 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
(fma.f64 x 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
(fma.f64 x 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
(fma.f64 x 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
(fma.f64 x 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
(fma.f64 x 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
(fma.f64 x 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
(fma.f64 x 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
238732414637843/250000000000000
(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)) 238732414637843/250000000000000)
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)) 238732414637843/250000000000000)
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)) 238732414637843/250000000000000)
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2))
(.f64 -6450306886639899/50000000000000000 (.f64 x x))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2))
(.f64 -6450306886639899/50000000000000000 (.f64 x x))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)

prune93.0ms (4.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	57	5	62
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	59	5	64

Error

0.0b

Counts

64 → 5

Alt Table

Status	Error	Program
	1.5b	(pow.f64 (cbrt.f64 (.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))) 3)
	4.3b	(.f64 x (/.f64 (-.f64 (.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) (.f64 x (.f64 x -6450306886639899/50000000000000000))) 56993165798814994692847692649/62500000000000000000000000000) (-.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) 238732414637843/250000000000000)))
	0.2b	(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
	0.2b	(.f64 x (fma.f64 x (cbrt.f64 (pow.f64 (.f64 x -6450306886639899/50000000000000000) 3)) 238732414637843/250000000000000))
▶	0.1b	(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))

Compiler

Compiled 812 to 584 computations (28.1% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
✓	0.1b	(*.f64 238732414637843/250000000000000 x)
✓	0.1b	(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))

New

Error

Program

✓

0.0b

(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (*.f64 238732414637843/250000000000000 x))

✓

0.1b

(*.f64 238732414637843/250000000000000 x)

✓

0.1b

(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))

series5.0ms (0.3%)

Counts

3 → 3

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(*.f64 238732414637843/250000000000000 x)
1.0ms	x	@	0	(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
1.0ms	x	@	inf	(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
0.0ms	x	@	inf	(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
0.0ms	x	@	-inf	(*.f64 238732414637843/250000000000000 x)

rewrite52.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

876×	`log1p-expm1-u_binary64`
876×	`expm1-log1p-u_binary64`
95×	`add-sqr-sqrt_binary64`
91×	`add-log-exp_binary64`
90×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	201	22
2	2397	22

Stop Event

1×	node limit

Counts

3 → 65

Calls

Call 1

Inputs
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
(*.f64 238732414637843/250000000000000 x)
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))

Inputs

(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))

(*.f64 238732414637843/250000000000000 x)

(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (*.f64 238732414637843/250000000000000 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (cbrt.f64 -6450306886639899/50000000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (sqrt.f64 -6450306886639899/50000000000000000) (pow.f64 x 3/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 -6450306886639899/50000000000000000) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 x 238732414637843/250000000000000))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x 238732414637843/250000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x 238732414637843/250000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 x 238732414637843/250000000000000)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (.f64 x x) 56993165798814994692847692649/62500000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 x 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 x 238732414637843/250000000000000)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x 238732414637843/250000000000000)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 -238732414637843/250000000000000 x))) (/.f64 (.f64 (.f64 x x) 56993165798814994692847692649/62500000000000000000000000000) (+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 -238732414637843/250000000000000 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000))) (cbrt.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000)) 2)) (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000))) (sqrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000)) (/.f64 1 (+.f64 (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (.f64 (.f64 x 238732414637843/250000000000000) (-.f64 (.f64 x 238732414637843/250000000000000) (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (.f64 (.f64 x x) 56993165798814994692847692649/62500000000000000000000000000)) (/.f64 1 (+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 -238732414637843/250000000000000 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (.f64 (.f64 x 238732414637843/250000000000000) (-.f64 (.f64 x 238732414637843/250000000000000) (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))))) (+.f64 (.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 -238732414637843/250000000000000 x)) (-.f64 (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (.f64 (.f64 x x) 56993165798814994692847692649/62500000000000000000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000)) (+.f64 (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (.f64 (.f64 x 238732414637843/250000000000000) (-.f64 (.f64 x 238732414637843/250000000000000) (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000)) (+.f64 (.f64 (.f64 x x) 56993165798814994692847692649/62500000000000000000000000000) (-.f64 (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (.f64 (pow.f64 x 3) (.f64 -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (.f64 (.f64 x x) 56993165798814994692847692649/62500000000000000000000000000)) (+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 -238732414637843/250000000000000 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000))) (neg.f64 (+.f64 (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (.f64 (.f64 x 238732414637843/250000000000000) (-.f64 (.f64 x 238732414637843/250000000000000) (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (.f64 (.f64 x x) 56993165798814994692847692649/62500000000000000000000000000))) (neg.f64 (+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 -238732414637843/250000000000000 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 x x) 56993165798814994692847692649/62500000000000000000000000000) (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000)) (-.f64 (.f64 x 238732414637843/250000000000000) (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 238732414637843/250000000000000 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 238732414637843/250000000000000 x (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x 238732414637843/250000000000000) (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (.f64 x x) 56993165798814994692847692649/62500000000000000000000000000)) (cbrt.f64 (.f64 x 238732414637843/250000000000000)) (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000)) (.f64 x (cbrt.f64 -6450306886639899/50000000000000000)) (.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 x 238732414637843/250000000000000)) (sqrt.f64 (.f64 x 238732414637843/250000000000000)) (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sqrt.f64 -6450306886639899/50000000000000000) (pow.f64 x 3/2)) (.f64 (sqrt.f64 -6450306886639899/50000000000000000) (pow.f64 x 3/2)) (.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (.f64 x 238732414637843/250000000000000))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (cbrt.f64 -6450306886639899/50000000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 -6450306886639899/50000000000000000) (pow.f64 x 3/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 -6450306886639899/50000000000000000) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x 238732414637843/250000000000000))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x 238732414637843/250000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x 238732414637843/250000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x 238732414637843/250000000000000)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (*.f64 x x) 56993165798814994692847692649/62500000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 x 238732414637843/250000000000000)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x 238732414637843/250000000000000)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (*.f64 -238732414637843/250000000000000 x))) (/.f64 (*.f64 (*.f64 x x) 56993165798814994692847692649/62500000000000000000000000000) (+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (*.f64 -238732414637843/250000000000000 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))) (cbrt.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000)) 2)) (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))) (sqrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (*.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000)) (/.f64 1 (+.f64 (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (*.f64 (*.f64 x 238732414637843/250000000000000) (-.f64 (*.f64 x 238732414637843/250000000000000) (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (*.f64 (*.f64 x x) 56993165798814994692847692649/62500000000000000000000000000)) (/.f64 1 (+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (*.f64 -238732414637843/250000000000000 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (*.f64 (*.f64 x 238732414637843/250000000000000) (-.f64 (*.f64 x 238732414637843/250000000000000) (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))))) (+.f64 (*.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (*.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (*.f64 -238732414637843/250000000000000 x)) (-.f64 (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (*.f64 (*.f64 x x) 56993165798814994692847692649/62500000000000000000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (*.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000)) (+.f64 (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (*.f64 (*.f64 x 238732414637843/250000000000000) (-.f64 (*.f64 x 238732414637843/250000000000000) (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (*.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000)) (+.f64 (*.f64 (*.f64 x x) 56993165798814994692847692649/62500000000000000000000000000) (-.f64 (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (*.f64 (pow.f64 x 3) (*.f64 -6450306886639899/50000000000000000 (*.f64 x 238732414637843/250000000000000))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (*.f64 (*.f64 x x) 56993165798814994692847692649/62500000000000000000000000000)) (+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (*.f64 -238732414637843/250000000000000 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 x 3) 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (*.f64 (pow.f64 x 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000))) (neg.f64 (+.f64 (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (*.f64 (*.f64 x 238732414637843/250000000000000) (-.f64 (*.f64 x 238732414637843/250000000000000) (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000) (*.f64 (*.f64 x x) 56993165798814994692847692649/62500000000000000000000000000))) (neg.f64 (+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (*.f64 -238732414637843/250000000000000 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x x) 56993165798814994692847692649/62500000000000000000000000000) (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000)) (-.f64 (*.f64 x 238732414637843/250000000000000) (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 238732414637843/250000000000000 x (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (*.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x 238732414637843/250000000000000) (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 56993165798814994692847692649/62500000000000000000000000000)) (cbrt.f64 (*.f64 x 238732414637843/250000000000000)) (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 x 6) 41606458931834106848498498730201/2500000000000000000000000000000000)) (*.f64 x (cbrt.f64 -6450306886639899/50000000000000000)) (*.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 x 238732414637843/250000000000000)) (sqrt.f64 (*.f64 x 238732414637843/250000000000000)) (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 -6450306886639899/50000000000000000) (pow.f64 x 3/2)) (*.f64 (sqrt.f64 -6450306886639899/50000000000000000) (pow.f64 x 3/2)) (*.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))))))))

simplify55.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

733×	`sqr-pow_binary64`
449×	`associate-l_binary64`
362×	`unswap-sqr_binary64`
313×	`pow-sqr_binary64`
256×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	18	18
2	35	18
3	60	18
4	118	18
5	328	18
6	1190	18
7	1877	18
8	1964	18
9	2097	18
10	2255	18
11	2489	18
12	2811	18
13	3232	18
14	3732	18
15	4325	18

Stop Event

1×	node limit

Counts

68 → 67

Calls

Call 1

Inputs
(*.f64 238732414637843/250000000000000 x)
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))

Outputs
(*.f64 238732414637843/250000000000000 x)
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))

prune84.0ms (4.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	66	1	67
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	67	5	72

Error

0.0b

Counts

72 → 5

Alt Table

Status	Error	Program
▶	0.2b	(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
	0.2b	(.f64 x (fma.f64 x (cbrt.f64 (pow.f64 (.f64 x -6450306886639899/50000000000000000) 3)) 238732414637843/250000000000000))
✓	0.1b	(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
	4.3b	(.f64 x (/.f64 (-.f64 (.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) (.f64 x (.f64 x -6450306886639899/50000000000000000))) 56993165798814994692847692649/62500000000000000000000000000) (-.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) 238732414637843/250000000000000)))
	1.5b	(pow.f64 (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))) 3)

Compiler

Compiled 1089 to 864 computations (20.7% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
✓	0.1b	(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
1.0ms	x	@	inf	(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
0.0ms	x	@	-inf	(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
0.0ms	x	@	0	(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
0.0ms	x	@	-inf	(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)

rewrite47.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

612×	`pow1_binary64`
572×	`add-log-exp_binary64`
572×	`log1p-expm1-u_binary64`
572×	`expm1-log1p-u_binary64`
69×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	142	19
2	1571	19

Stop Event

1×	node limit

Counts

2 → 38

Calls

Call 1

Inputs
(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 -6450306886639899/50000000000000000 (*.f64 x x)) x) (*.f64 238732414637843/250000000000000 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 -6450306886639899/50000000000000000 (*.f64 x x))) (*.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)) x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -6450306886639899/50000000000000000 (*.f64 x x)) 238732414637843/250000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 -6450306886639899/50000000000000000 (*.f64 x x)) 1) 238732414637843/250000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)) (pow.f64 (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)) 2) (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)) (sqrt.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 -6450306886639899/50000000000000000 (*.f64 x x)) 3) 13606116089006033875034270860295875508316107/15625000000000000000000000000000000000000000) (+.f64 (*.f64 (*.f64 -6450306886639899/50000000000000000 (*.f64 x x)) (*.f64 -6450306886639899/50000000000000000 (*.f64 x x))) (-.f64 56993165798814994692847692649/62500000000000000000000000000 (*.f64 (*.f64 -6450306886639899/50000000000000000 (*.f64 x x)) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 -6450306886639899/50000000000000000 (*.f64 x x)) (*.f64 -6450306886639899/50000000000000000 (*.f64 x x))) 56993165798814994692847692649/62500000000000000000000000000) (-.f64 (*.f64 -6450306886639899/50000000000000000 (*.f64 x x)) 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)))))))

simplify76.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

536×	`unswap-sqr_binary64`
515×	`sqr-pow_binary64`
407×	`associate-l_binary64`
376×	`*-commutative_binary64`
254×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	204
1	32	204
2	61	204
3	135	204
4	337	204
5	1303	204
6	2674	204
7	2860	204
8	3110	204
9	3397	204
10	3776	204
11	4277	204
12	4891	204

Stop Event

1×	node limit

Counts

62 → 48

Calls

Call 1

Inputs
(*.f64 238732414637843/250000000000000 x)
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
238732414637843/250000000000000
(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)) 238732414637843/250000000000000)
(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)) 238732414637843/250000000000000)
(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)) 238732414637843/250000000000000)
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))

Outputs
(*.f64 238732414637843/250000000000000 x)
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 238732414637843/250000000000000 x))
(fma.f64 238732414637843/250000000000000 x (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 238732414637843/250000000000000 x))
(fma.f64 238732414637843/250000000000000 x (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 238732414637843/250000000000000 x))
(fma.f64 238732414637843/250000000000000 x (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 238732414637843/250000000000000 x))
(fma.f64 238732414637843/250000000000000 x (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 238732414637843/250000000000000 x))
(fma.f64 238732414637843/250000000000000 x (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 238732414637843/250000000000000 x))
(fma.f64 238732414637843/250000000000000 x (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 238732414637843/250000000000000 x))
(fma.f64 238732414637843/250000000000000 x (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 238732414637843/250000000000000 x))
(fma.f64 238732414637843/250000000000000 x (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 238732414637843/250000000000000 x))
(fma.f64 238732414637843/250000000000000 x (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)))
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
238732414637843/250000000000000
(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)) 238732414637843/250000000000000)
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)
(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)) 238732414637843/250000000000000)
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)
(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)) 238732414637843/250000000000000)
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2))
(.f64 -6450306886639899/50000000000000000 (.f64 x x))
(.f64 x (.f64 x -6450306886639899/50000000000000000))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)
(*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2))
(.f64 -6450306886639899/50000000000000000 (.f64 x x))
(.f64 x (.f64 x -6450306886639899/50000000000000000))
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)
(+.f64 238732414637843/250000000000000 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
(fma.f64 -6450306886639899/50000000000000000 (*.f64 x x) 238732414637843/250000000000000)
(fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)

prune60.0ms (3.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	48	0	48
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	48	5	53

Error

0.0b

Counts

53 → 5

Alt Table

Status	Error	Program
✓	0.2b	(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
▶	0.2b	(.f64 x (fma.f64 x (cbrt.f64 (pow.f64 (.f64 x -6450306886639899/50000000000000000) 3)) 238732414637843/250000000000000))
✓	0.1b	(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
	4.3b	(.f64 x (/.f64 (-.f64 (.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) (.f64 x (.f64 x -6450306886639899/50000000000000000))) 56993165798814994692847692649/62500000000000000000000000000) (-.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) 238732414637843/250000000000000)))
	1.5b	(pow.f64 (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))) 3)

Compiler

Compiled 652 to 426 computations (34.7% saved)

localize7.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 x (fma.f64 x (cbrt.f64 (pow.f64 (.f64 x -6450306886639899/50000000000000000) 3)) 238732414637843/250000000000000))
	0.1b	(*.f64 x -6450306886639899/50000000000000000)
✓	0.3b	(pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3)
✓	31.9b	(cbrt.f64 (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3))

series14.0ms (0.7%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
5.0ms	x	@	0	(cbrt.f64 (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3))
3.0ms	x	@	inf	(.f64 x (fma.f64 x (cbrt.f64 (pow.f64 (.f64 x -6450306886639899/50000000000000000) 3)) 238732414637843/250000000000000))
2.0ms	x	@	-inf	(cbrt.f64 (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3))
1.0ms	x	@	-inf	(.f64 x (fma.f64 x (cbrt.f64 (pow.f64 (.f64 x -6450306886639899/50000000000000000) 3)) 238732414637843/250000000000000))
1.0ms	x	@	0	(.f64 x (fma.f64 x (cbrt.f64 (pow.f64 (.f64 x -6450306886639899/50000000000000000) 3)) 238732414637843/250000000000000))

rewrite53.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

823×	`pow1_binary64`
777×	`log1p-expm1-u_binary64`
777×	`expm1-log1p-u_binary64`
91×	`add-sqr-sqrt_binary64`
87×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	22
1	215	22
2	2154	22

Stop Event

1×	node limit

Counts

3 → 73

Calls

Call 1

Inputs

(cbrt.f64 (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3))

(pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3)

(*.f64 x (fma.f64 x (cbrt.f64 (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3)) 238732414637843/250000000000000))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x -6450306886639899/50000000000000000))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x -6450306886639899/50000000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (pow.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -6450306886639899/50000000000000000 x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x -6450306886639899/50000000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x -6450306886639899/50000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) -6450306886639899/50000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)) (pow.f64 (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)) (pow.f64 (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)) 2) (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) -6450306886639899/50000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x -6450306886639899/50000000000000000)) (sqrt.f64 (*.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000) 1/3) (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (*.f64 x -6450306886639899/50000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3/2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -6450306886639899/50000000000000000 (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x -6450306886639899/50000000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x -6450306886639899/50000000000000000)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x -6450306886639899/50000000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 x -6450306886639899/50000000000000000)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x -6450306886639899/50000000000000000))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x -6450306886639899/50000000000000000)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 -6450306886639899/50000000000000000 (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -6450306886639899/50000000000000000 (*.f64 x (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x -6450306886639899/50000000000000000) (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000) (*.f64 x -6450306886639899/50000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)) 2) (*.f64 (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)) (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x -6450306886639899/50000000000000000)) (*.f64 (sqrt.f64 (*.f64 x -6450306886639899/50000000000000000)) (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 3) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3/2) (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)) 2) 3) (*.f64 x -6450306886639899/50000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 x -6450306886639899/50000000000000000)) 3) (pow.f64 (sqrt.f64 (*.f64 x -6450306886639899/50000000000000000)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000) x) -6450306886639899/50000000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000) -6450306886639899/50000000000000000) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000) 1) (*.f64 x -6450306886639899/50000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000) (pow.f64 (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)) 2)) (cbrt.f64 (*.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000) (sqrt.f64 (*.f64 x -6450306886639899/50000000000000000))) (sqrt.f64 (*.f64 x -6450306886639899/50000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x -6450306886639899/50000000000000000) 6))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 3 (log.f64 (*.f64 x -6450306886639899/50000000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x -6450306886639899/50000000000000000))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (*.f64 x -6450306886639899/50000000000000000)) x) (*.f64 238732414637843/250000000000000 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 x (*.f64 x -6450306886639899/50000000000000000))) (*.f64 x 238732414637843/250000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (fma.f64 x (*.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))))))))

simplify55.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

995×	`fma-def_binary64`
818×	`unswap-sqr_binary64`
413×	`associate-l_binary64`
270×	`fma-neg_binary64`
230×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	311
1	45	311
2	118	311
3	290	311
4	611	311
5	1604	311
6	2472	311
7	3679	311

Stop Event

1×	node limit

Counts

109 → 85

Calls

Call 1

Inputs
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(.f64 -1 (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x))
(.f64 -1 (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x))
(.f64 -1 (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x))
(.f64 -1 (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 238732414637843/250000000000000 x)
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3))
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(.f64 -1 (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)))
(+.f64 (.f64 238732414637843/250000000000000 x) (.f64 -1 (*.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3))))
(+.f64 (.f64 238732414637843/250000000000000 x) (.f64 -1 (*.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3))))
(+.f64 (.f64 238732414637843/250000000000000 x) (.f64 -1 (*.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3))))

Outputs
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x)
(.f64 -1 (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x))
(neg.f64 (*.f64 x (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000)))
(*.f64 x (neg.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000)))
(.f64 -1 (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x))
(neg.f64 (*.f64 x (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000)))
(*.f64 x (neg.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000)))
(.f64 -1 (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x))
(neg.f64 (*.f64 x (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000)))
(*.f64 x (neg.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000)))
(.f64 -1 (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) x))
(neg.f64 (*.f64 x (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000)))
(*.f64 x (neg.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000)))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000 (pow.f64 x 3))
(*.f64 238732414637843/250000000000000 x)
(*.f64 x 238732414637843/250000000000000)
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 x x) 238732414637843/250000000000000))
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 x x) 238732414637843/250000000000000))
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 x x) 238732414637843/250000000000000))
(*.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3))
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 x x) 238732414637843/250000000000000))
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 x x) 238732414637843/250000000000000))
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(fma.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))
(.f64 x (fma.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 x x) 238732414637843/250000000000000))
(.f64 -1 (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)))
(neg.f64 (*.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)))
(*.f64 (pow.f64 x 3) (neg.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (neg.f64 (pow.f64 x 3)))
(+.f64 (.f64 238732414637843/250000000000000 x) (.f64 -1 (*.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3))))
(fma.f64 238732414637843/250000000000000 x (neg.f64 (*.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3))))
(fma.f64 x 238732414637843/250000000000000 (*.f64 (pow.f64 x 3) (neg.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000))))
(fma.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (neg.f64 (pow.f64 x 3)) (*.f64 x 238732414637843/250000000000000))
(-.f64 (.f64 x 238732414637843/250000000000000) (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)))
(.f64 x (neg.f64 (fma.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 x x) -238732414637843/250000000000000)))
(+.f64 (.f64 238732414637843/250000000000000 x) (.f64 -1 (*.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3))))
(fma.f64 238732414637843/250000000000000 x (neg.f64 (*.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3))))
(fma.f64 x 238732414637843/250000000000000 (*.f64 (pow.f64 x 3) (neg.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000))))
(fma.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (neg.f64 (pow.f64 x 3)) (*.f64 x 238732414637843/250000000000000))
(-.f64 (.f64 x 238732414637843/250000000000000) (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)))
(.f64 x (neg.f64 (fma.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 x x) -238732414637843/250000000000000)))
(+.f64 (.f64 238732414637843/250000000000000 x) (.f64 -1 (*.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3))))
(fma.f64 238732414637843/250000000000000 x (neg.f64 (*.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3))))
(fma.f64 x 238732414637843/250000000000000 (*.f64 (pow.f64 x 3) (neg.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000))))
(fma.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (neg.f64 (pow.f64 x 3)) (*.f64 x 238732414637843/250000000000000))
(-.f64 (.f64 x 238732414637843/250000000000000) (.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)))
(.f64 x (neg.f64 (fma.f64 (cbrt.f64 268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (.f64 x x) -238732414637843/250000000000000)))

prune195.0ms (10.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	96	2	98
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	97	6	103

Error

Counts

103 → 6

Alt Table

Status	Error	Program
✓	0.2b	(.f64 x (fma.f64 x (cbrt.f64 (pow.f64 (.f64 x -6450306886639899/50000000000000000) 3)) 238732414637843/250000000000000))
	0.3b	(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
	0.2b	(.f64 x (fma.f64 x (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x -6450306886639899/50000000000000000)) 2) (.f64 (cbrt.f64 (.f64 x -6450306886639899/50000000000000000)) (.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000)))) 238732414637843/250000000000000))
	4.3b	(.f64 x (/.f64 (-.f64 (.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) (.f64 x (.f64 x -6450306886639899/50000000000000000))) 56993165798814994692847692649/62500000000000000000000000000) (-.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) 238732414637843/250000000000000)))
✓	0.2b	(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
✓	0.1b	(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))

Compiler

Compiled 1331 to 961 computations (27.8% saved)

regimes22.0ms (1.2%)

Accuracy

Total -5.1b remaining (-3982.2%)

Threshold costs -5.1b (-3982.2%)

Counts

10 → 1

Calls

Call 1

Inputs
(+.f64 (.f64 (cbrt.f64 -268374428576709675478551338258325107303042889699/125000000000000000000000000000000000000000000000000) (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(.f64 x (fma.f64 x (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x -6450306886639899/50000000000000000)) 2) (.f64 (cbrt.f64 (.f64 x -6450306886639899/50000000000000000)) (.f64 (*.f64 x x) 41606458931834106848498498730201/2500000000000000000000000000000000)))) 238732414637843/250000000000000))
(pow.f64 (cbrt.f64 (fma.f64 -6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x 238732414637843/250000000000000))) 3)
(pow.f64 (cbrt.f64 (.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))) 3)
(.f64 x (/.f64 (-.f64 (.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) (.f64 x (.f64 x -6450306886639899/50000000000000000))) 56993165798814994692847692649/62500000000000000000000000000) (-.f64 (.f64 x (.f64 x -6450306886639899/50000000000000000)) 238732414637843/250000000000000)))
(.f64 x (fma.f64 -6450306886639899/50000000000000000 (.f64 x x) 238732414637843/250000000000000))
(.f64 x (fma.f64 x (cbrt.f64 (pow.f64 (.f64 x -6450306886639899/50000000000000000) 3)) 238732414637843/250000000000000))
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))
(.f64 x (fma.f64 x (.f64 x -6450306886639899/50000000000000000) 238732414637843/250000000000000))
(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))

Outputs
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))

Results

12.0ms	0.1b	`x`
6.0ms	0.1b	`(-.f64 (.f64 238732414637843/250000000000000 x) (.f64 6450306886639899/50000000000000000 (.f64 (.f64 x x) x)))`

Compiler

Compiled 140 to 98 computations (30% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	12	13

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (.f64 238732414637843/250000000000000 x))

Outputs

(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (*.f64 238732414637843/250000000000000 x))

(+.f64 (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 3)) (*.f64 x 238732414637843/250000000000000))

end18.0ms (1%)

Stop Event

1×

fuel

Compiler

Compiled 20 to 16 computations (20% saved)

Details

analyze6.0ms (0.3%)

sample783.0ms (41.6%)

preprocess50.0ms (2.6%)

simplify40.0ms (2.1%)

prune3.0ms (0.2%)

localize5.0ms (0.2%)

series5.0ms (0.3%)

rewrite60.0ms (3.2%)

simplify82.0ms (4.3%)

prune93.0ms (4.9%)

localize6.0ms (0.3%)

series5.0ms (0.3%)

rewrite52.0ms (2.7%)

simplify55.0ms (2.9%)

prune84.0ms (4.5%)

localize4.0ms (0.2%)

series2.0ms (0.1%)

rewrite47.0ms (2.5%)

simplify76.0ms (4.1%)

prune60.0ms (3.2%)

localize7.0ms (0.4%)

series14.0ms (0.7%)

rewrite53.0ms (2.8%)

simplify55.0ms (2.9%)

prune195.0ms (10.4%)

regimes22.0ms (1.2%)

simplify2.0ms (0.1%)

end18.0ms (1%)

Profiling