Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	50%	25%	3
37.5%	25%	37.5%	4
43.7%	12.5%	43.8%	5
46.9%	6.2%	46.9%	6
48.4%	3.1%	48.5%	7
49.2%	1.6%	49.2%	8
49.6%	0.8%	49.6%	9
49.6%	0.4%	50%	10
49.7%	0.2%	50.1%	11
49.7%	0.1%	50.2%	12

Compiler

Compiled 6 to 4 computations (33.3% saved)

sample1.7s (25%)

Results

1.7s	8256×	body	256	valid
1.0ms	13×	body	256	invalid

preprocess30.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	5	6
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(*.f64 x (log.f64 x))

Outputs
(*.f64 x (log.f64 x))

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	5	6

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 x (log.f64 x))

Outputs
(*.f64 x (log.f64 x))

eval1.0ms (0%)

Compiler: Compiled 5 to 3 computations (40% saved)

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.3b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.3b	(*.f64 x (log.f64 x))

Compiler

Compiled 5 to 3 computations (40% saved)

localize22.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 x (log.f64 x))

Compiler

Compiled 8 to 3 computations (62.5% saved)

series110.0ms (1.6%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
55.0ms	x	@	0	(*.f64 x (log.f64 x))
36.0ms	x	@	-inf	(*.f64 x (log.f64 x))
18.0ms	x	@	inf	(*.f64 x (log.f64 x))

rewrite75.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

348×	`pow1_binary64`
332×	`add-sqr-sqrt_binary64`
327×	`*-un-lft-identity_binary64`
319×	`add-log-exp_binary64`
319×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	76	6
2	887	6

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(*.f64 x (log.f64 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (pow.f64 x (+.f64 x x)))) (log.f64 (cbrt.f64 (pow.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 x x))) (log.f64 (sqrt.f64 (pow.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 1 (.f64 x (log.f64 x))) 3) 1) (+.f64 (.f64 (+.f64 1 (.f64 x (log.f64 x))) (+.f64 1 (.f64 x (log.f64 x)))) (+.f64 1 (.f64 (+.f64 1 (.f64 x (log.f64 x))) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (log.f64 x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 x (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (E.f64) (log.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (log.f64 x))))) (sqrt.f64 (log.f64 (.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (.f64 x (log.f64 x))) 2))) (cbrt.f64 (log.f64 (.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (log.f64 x)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (log.f64 x)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (log.f64 x)))) 2))))))

Outputs

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

simplify168.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1961×	`fma-def_binary64`
961×	`fma-neg_binary64`
610×	`distribute-rgt-in_binary64`
511×	`distribute-lft-in_binary64`
249×	`unsub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	72
1	33	72
2	60	72
3	134	72
4	275	72
5	704	72
6	1985	72
7	3039	72
8	3407	72
9	3573	72
10	3583	72
11	3585	72
12	4846	72
13	5508	72
14	5640	72
15	5676	72
16	5690	72
17	5694	72
18	5694	72
19	5718	72

Stop Event

1×	node limit

Counts

35 → 27

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))

eval11.0ms (0.2%)

Compiler: Compiled 243 to 110 computations (54.7% saved)

prune15.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	22	5	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	6	28

Error

0.2b

Counts

28 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	32.1b	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
▶	1.4b	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
▶	34.5b	(exp.f64 (log.f64 (*.f64 x (log.f64 x))))
▶	40.4b	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
✓	0.3b	(*.f64 x (log.f64 x))
▶	0.3b	(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))

Compiler

Compiled 85 to 63 computations (25.9% saved)

localize22.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(log.f64 (/.f64 1 x))
✓	0.3b	(*.f64 (log.f64 (/.f64 1 x)) x)

Compiler

Compiled 25 to 18 computations (28% saved)

series14.0ms (0.2%)

Counts

2 → 16

Calls

6 calls:

Time	Variable		Point	Expression
9.0ms	x	@	-inf	(*.f64 (log.f64 (/.f64 1 x)) x)
3.0ms	x	@	0	(*.f64 (log.f64 (/.f64 1 x)) x)
1.0ms	x	@	inf	(*.f64 (log.f64 (/.f64 1 x)) x)
0.0ms	x	@	0	(log.f64 (/.f64 1 x))
0.0ms	x	@	inf	(log.f64 (/.f64 1 x))

rewrite57.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

504×	`pow1_binary64`
483×	`add-sqr-sqrt_binary64`
464×	`add-log-exp_binary64`
464×	`log1p-expm1-u_binary64`
464×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	117	13
2	1324	13

Stop Event

1×	node limit

Counts

2 → 38

Calls

Call 1

Inputs
(*.f64 (log.f64 (/.f64 1 x)) x)
(log.f64 (/.f64 1 x))

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

Outputs

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

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

simplify163.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1419×	`fma-neg_binary64`
1009×	`fma-def_binary64`
496×	`unsub-neg_binary64`
411×	`associate--r-_binary64`
391×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	104
1	22	104
2	44	104
3	66	104
4	110	104
5	227	104
6	449	104
7	870	104
8	1473	104
9	1814	104
10	1912	104
11	2326	104
12	3075	104
13	3380	104
14	3521	104
15	3555	104
16	3567	104
17	3571	104
18	7137	104
19	7647	104
20	7933	104

Stop Event

1×	node limit

Counts

54 → 42

Calls

Call 1

Inputs
(.f64 -1 (.f64 x (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(*.f64 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1)) x)
(*.f64 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1)) x)
(*.f64 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1)) x)
(*.f64 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1)) x)
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))

Outputs
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 -1 (log.f64 x))
(neg.f64 (log.f64 x))
(*.f64 -1 (log.f64 x))
(neg.f64 (log.f64 x))
(*.f64 -1 (log.f64 x))
(neg.f64 (log.f64 x))
(*.f64 -1 (log.f64 x))
(neg.f64 (log.f64 x))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(neg.f64 (log.f64 x))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(neg.f64 (log.f64 x))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(neg.f64 (log.f64 x))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(neg.f64 (log.f64 x))

localize18.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.3b	(*.f64 x (log.f64 x))
✓	2.8b	(exp.f64 (log.f64 (*.f64 x (log.f64 x))))

Compiler

Compiled 19 to 5 computations (73.7% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(exp.f64 (log.f64 (*.f64 x (log.f64 x))))
0.0ms	x	@	-inf	(exp.f64 (log.f64 (*.f64 x (log.f64 x))))
0.0ms	x	@	inf	(exp.f64 (log.f64 (*.f64 x (log.f64 x))))

rewrite66.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

432×	`pow1_binary64`
411×	`add-sqr-sqrt_binary64`
406×	`*-un-lft-identity_binary64`
396×	`add-log-exp_binary64`
396×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	6
1	101	6
2	1099	6

Stop Event

1×	node limit

Counts

1 → 32

Calls

Call 1

Inputs
(exp.f64 (log.f64 (*.f64 x (log.f64 x))))

Outputs

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

simplify163.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1961×	`fma-def_binary64`
961×	`fma-neg_binary64`
610×	`distribute-rgt-in_binary64`
511×	`distribute-lft-in_binary64`
249×	`unsub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	72
1	33	72
2	60	72
3	134	72
4	275	72
5	704	72
6	1985	72
7	3039	72
8	3407	72
9	3573	72
10	3583	72
11	3585	72
12	4846	72
13	5508	72
14	5640	72
15	5676	72
16	5690	72
17	5694	72
18	5694	72
19	5718	72

Stop Event

1×	node limit

Counts

44 → 34

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 (*.f64 x (log.f64 x)) 3)
	0.3b	(*.f64 x (log.f64 x))
✓	39.1b	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))

Compiler

Compiled 22 to 9 computations (59.1% saved)

series6.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
1.0ms	x	@	-inf	(pow.f64 (*.f64 x (log.f64 x)) 3)
1.0ms	x	@	0	(pow.f64 (*.f64 x (log.f64 x)) 3)
1.0ms	x	@	inf	(pow.f64 (*.f64 x (log.f64 x)) 3)
1.0ms	x	@	0	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))

rewrite80.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

531×	`pow1_binary64`
517×	`add-sqr-sqrt_binary64`
500×	`add-log-exp_binary64`
500×	`log1p-expm1-u_binary64`
500×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	147	15
2	1469	15

Stop Event

1×	node limit

Counts

2 → 54

Calls

Call 1

Inputs
(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
(pow.f64 (*.f64 x (log.f64 x)) 3)

Outputs

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

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

simplify45.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

449×	`distribute-rgt-neg-in_binary64`
413×	`distribute-rgt-in_binary64`
406×	`associate-+l+_binary64`
390×	`distribute-lft-in_binary64`
355×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	28	280
1	82	276
2	291	276
3	1460	244
4	4439	244

Stop Event

1×	node limit

Counts

78 → 59

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(neg.f64 (.f64 (cbrt.f64 -1) (.f64 x (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))))
(.f64 (.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x)))) (neg.f64 (cbrt.f64 -1)))
(.f64 x (.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))) (neg.f64 (cbrt.f64 -1))))
(.f64 x (.f64 (neg.f64 (log.f64 x)) (cbrt.f64 -1)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(neg.f64 (.f64 (cbrt.f64 -1) (.f64 x (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))))
(.f64 (.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x)))) (neg.f64 (cbrt.f64 -1)))
(.f64 x (.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))) (neg.f64 (cbrt.f64 -1))))
(.f64 x (.f64 (neg.f64 (log.f64 x)) (cbrt.f64 -1)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(neg.f64 (.f64 (cbrt.f64 -1) (.f64 x (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))))
(.f64 (.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x)))) (neg.f64 (cbrt.f64 -1)))
(.f64 x (.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))) (neg.f64 (cbrt.f64 -1))))
(.f64 x (.f64 (neg.f64 (log.f64 x)) (cbrt.f64 -1)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(neg.f64 (.f64 (cbrt.f64 -1) (.f64 x (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))))
(.f64 (.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x)))) (neg.f64 (cbrt.f64 -1)))
(.f64 x (.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))) (neg.f64 (cbrt.f64 -1))))
(.f64 x (.f64 (neg.f64 (log.f64 x)) (cbrt.f64 -1)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.3b	(*.f64 x (log.f64 x))
✓	0.6b	(cbrt.f64 (*.f64 x (log.f64 x)))
✓	0.7b	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)

Compiler

Compiled 21 to 7 computations (66.7% saved)

series11.0ms (0.2%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
3.0ms	x	@	0	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
2.0ms	x	@	inf	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
1.0ms	x	@	-inf	(cbrt.f64 (*.f64 x (log.f64 x)))
1.0ms	x	@	0	(cbrt.f64 (*.f64 x (log.f64 x)))

rewrite134.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

524×	`pow1_binary64`
510×	`add-sqr-sqrt_binary64`
493×	`add-log-exp_binary64`
493×	`log1p-expm1-u_binary64`
493×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	145	14
2	1410	14

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

Inputs
(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
(cbrt.f64 (*.f64 x (log.f64 x)))

Outputs

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

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

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

52 → 52

Calls

Call 1

Inputs

Outputs

localize21.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (*.f64 x (log.f64 x)))
✓	0.3b	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
	0.3b	(*.f64 x (log.f64 x))

Compiler

Compiled 21 to 7 computations (66.7% saved)

series14.0ms (0.2%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
5.0ms	x	@	-inf	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
3.0ms	x	@	0	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
2.0ms	x	@	inf	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
2.0ms	x	@	-inf	(sqrt.f64 (*.f64 x (log.f64 x)))
1.0ms	x	@	inf	(sqrt.f64 (*.f64 x (log.f64 x)))

rewrite67.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

499×	`pow1_binary64`
480×	`add-sqr-sqrt_binary64`
462×	`add-log-exp_binary64`
462×	`log1p-expm1-u_binary64`
462×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	142	14
2	1332	14

Stop Event

1×	node limit

Counts

2 → 50

Calls

Call 1

Inputs
(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
(sqrt.f64 (*.f64 x (log.f64 x)))

Outputs

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

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

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

50 → 50

Calls

Call 1

Inputs

Outputs

eval331.0ms (4.9%)

Compiler: Compiled 3711 to 1585 computations (57.3% saved)

prune158.0ms (2.3%)

Pruning

23 alts after pruning (17 fresh and 6 done)

	Pruned	Kept	Total
New	328	17	345
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	328	23	351

Error

0.0b

Counts

351 → 23

Alt Table

Click to see full alt table

Status	Error	Program
✓	32.1b	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
	40.8b	(cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))
▶	0.6b	(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))
▶	32.6b	(.f64 -1 (pow.f64 (sqrt.f64 (.f64 x (neg.f64 (log.f64 x)))) 2))
▶	32.1b	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (*.f64 x (log.f64 x)))))
	1.4b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2) (cbrt.f64 (*.f64 x (log.f64 x))))
	1.4b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
	1.3b	(.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (.f64 (cbrt.f64 (log.f64 x)) x))
	32.8b	(.f64 -1 (.f64 (expm1.f64 (log1p.f64 (neg.f64 (log.f64 x)))) x))
✓	34.5b	(exp.f64 (log.f64 (*.f64 x (log.f64 x))))
	0.6b	(.f64 -1 (.f64 (cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) x))
▶	32.0b	(.f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
	30.9b	(.f64 -1 (.f64 (+.f64 (log.f64 (cbrt.f64 (pow.f64 x -2))) (log.f64 (/.f64 1 (cbrt.f64 x)))) x))
	32.1b	(pow.f64 (*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x)) 2)
✓	40.4b	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
	1.3b	(.f64 -1 (.f64 (pow.f64 (cbrt.f64 (neg.f64 (log.f64 x))) 3) x))
	1.2b	(.f64 (.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 x)) (cbrt.f64 (log.f64 x)))
✓	0.3b	(*.f64 x (log.f64 x))
	1.4b	(.f64 (.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
	1.7b	(pow.f64 (*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x)) 3)
✓	1.4b	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
▶	32.8b	(.f64 -1 (.f64 (exp.f64 (log.f64 (neg.f64 (log.f64 x)))) x))
✓	0.3b	(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))

Compiler

Compiled 429 to 301 computations (29.8% saved)

localize19.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (log.f64 x) (sqrt.f64 x))
✓	0.4b	(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))

Compiler

Compiled 19 to 5 computations (73.7% saved)

series9.0ms (0.1%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))
2.0ms	x	@	-inf	(*.f64 (log.f64 x) (sqrt.f64 x))
2.0ms	x	@	inf	(*.f64 (log.f64 x) (sqrt.f64 x))
1.0ms	x	@	0	(*.f64 (log.f64 x) (sqrt.f64 x))
1.0ms	x	@	0	(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))

rewrite73.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

527×	`pow1_binary64`
500×	`add-sqr-sqrt_binary64`
485×	`add-log-exp_binary64`
485×	`log1p-expm1-u_binary64`
485×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	14
1	117	14
2	1381	14

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

Inputs
(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 (log.f64 x) (sqrt.f64 x))

Outputs

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

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

simplify153.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

595×	`fma-neg_binary64`
504×	`unsub-neg_binary64`
401×	`fma-def_binary64`
372×	`distribute-rgt-neg-in_binary64`
297×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	72
1	49	72
2	135	72
3	439	72
4	1488	72
5	3397	72
6	6210	72
7	7527	72

Stop Event

1×	node limit

Counts

34 → 26

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 x (log.f64 x))

localize27.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(log.f64 (neg.f64 (log.f64 x)))
✓	0.2b	(*.f64 (exp.f64 (log.f64 (neg.f64 (log.f64 x)))) x)
✓	0.5b	(exp.f64 (log.f64 (neg.f64 (log.f64 x))))

Compiler

Compiled 33 to 9 computations (72.7% saved)

series157.0ms (2.3%)

Counts

3 → 32

Calls

9 calls:

Time	Variable		Point	Expression
93.0ms	x	@	inf	(log.f64 (neg.f64 (log.f64 x)))
41.0ms	x	@	0	(log.f64 (neg.f64 (log.f64 x)))
19.0ms	x	@	-inf	(log.f64 (neg.f64 (log.f64 x)))
1.0ms	x	@	0	(*.f64 (exp.f64 (log.f64 (neg.f64 (log.f64 x)))) x)
1.0ms	x	@	inf	(*.f64 (exp.f64 (log.f64 (neg.f64 (log.f64 x)))) x)

rewrite51.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

453×	`pow1_binary64`
432×	`add-sqr-sqrt_binary64`
426×	`*-un-lft-identity_binary64`
416×	`add-log-exp_binary64`
415×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	125	14
2	1443	14

Stop Event

1×	node limit

Counts

3 → 65

Calls

Call 1

Inputs
(exp.f64 (log.f64 (neg.f64 (log.f64 x))))
(*.f64 (exp.f64 (log.f64 (neg.f64 (log.f64 x)))) x)
(log.f64 (neg.f64 (log.f64 x)))

Outputs

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

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

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

simplify272.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1226×	`associate--r-_binary64`
819×	`fma-def_binary64`
757×	`fma-neg_binary64`
635×	`distribute-rgt-in_binary64`
521×	`distribute-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	236
1	62	212
2	118	212
3	295	212
4	557	212
5	1047	212
6	2565	212
7	4067	212
8	5011	212
9	5289	212
10	5355	212
11	5377	212
12	5389	212
13	5389	212
14	6004	212
15	6506	212
16	6668	212
17	6758	212
18	6818	212
19	6818	212

Stop Event

1×	node limit

Counts

97 → 74

Calls

Call 1

Inputs
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(log.f64 (/.f64 1 x))
(log.f64 (/.f64 1 x))
(log.f64 (/.f64 1 x))
(log.f64 (/.f64 1 x))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(.f64 -1 (.f64 x (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(*.f64 (log.f64 (/.f64 1 x)) x)
(*.f64 (log.f64 (/.f64 1 x)) x)
(*.f64 (log.f64 (/.f64 1 x)) x)
(*.f64 (log.f64 (/.f64 1 x)) x)
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(log.f64 (neg.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (neg.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (neg.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (neg.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (neg.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (neg.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (neg.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (neg.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))

Outputs
(*.f64 -1 (log.f64 x))
(neg.f64 (log.f64 x))
(*.f64 -1 (log.f64 x))
(neg.f64 (log.f64 x))
(*.f64 -1 (log.f64 x))
(neg.f64 (log.f64 x))
(*.f64 -1 (log.f64 x))
(neg.f64 (log.f64 x))
(log.f64 (/.f64 1 x))
(neg.f64 (log.f64 x))
(log.f64 (/.f64 1 x))
(neg.f64 (log.f64 x))
(log.f64 (/.f64 1 x))
(neg.f64 (log.f64 x))
(log.f64 (/.f64 1 x))
(neg.f64 (log.f64 x))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(neg.f64 (log.f64 x))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(neg.f64 (log.f64 x))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(neg.f64 (log.f64 x))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(neg.f64 (log.f64 x))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 (/.f64 1 x)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 (/.f64 1 x)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 (/.f64 1 x)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 (/.f64 1 x)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(log.f64 (neg.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (*.f64 1 (neg.f64 (log.f64 x))))
(log.f64 (neg.f64 (log.f64 x)))
(log.f64 (neg.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (*.f64 1 (neg.f64 (log.f64 x))))
(log.f64 (neg.f64 (log.f64 x)))
(log.f64 (neg.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (*.f64 1 (neg.f64 (log.f64 x))))
(log.f64 (neg.f64 (log.f64 x)))
(log.f64 (neg.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (*.f64 1 (neg.f64 (log.f64 x))))
(log.f64 (neg.f64 (log.f64 x)))
(log.f64 (neg.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (*.f64 1 (neg.f64 (log.f64 x))))
(log.f64 (neg.f64 (log.f64 x)))
(log.f64 (neg.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (*.f64 1 (neg.f64 (log.f64 x))))
(log.f64 (neg.f64 (log.f64 x)))
(log.f64 (neg.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (*.f64 1 (neg.f64 (log.f64 x))))
(log.f64 (neg.f64 (log.f64 x)))
(log.f64 (neg.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (*.f64 1 (neg.f64 (log.f64 x))))
(log.f64 (neg.f64 (log.f64 x)))

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (*.f64 x (neg.f64 (log.f64 x))))
✓	0.3b	(pow.f64 (sqrt.f64 (*.f64 x (neg.f64 (log.f64 x)))) 2)
✓	0.3b	(*.f64 x (neg.f64 (log.f64 x)))

Compiler

Compiled 38 to 13 computations (65.8% saved)

series9.0ms (0.1%)

Counts

3 → 12

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(pow.f64 (sqrt.f64 (*.f64 x (neg.f64 (log.f64 x)))) 2)
2.0ms	x	@	inf	(pow.f64 (sqrt.f64 (*.f64 x (neg.f64 (log.f64 x)))) 2)
1.0ms	x	@	0	(pow.f64 (sqrt.f64 (*.f64 x (neg.f64 (log.f64 x)))) 2)
1.0ms	x	@	inf	(sqrt.f64 (*.f64 x (neg.f64 (log.f64 x))))
1.0ms	x	@	-inf	(sqrt.f64 (*.f64 x (neg.f64 (log.f64 x))))

rewrite123.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

536×	`pow1_binary64`
498×	`add-log-exp_binary64`
497×	`log1p-expm1-u_binary64`
497×	`expm1-log1p-u_binary64`
487×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	169	20
2	1752	20

Stop Event

1×	node limit

Counts

3 → 69

Calls

Call 1

Inputs
(*.f64 x (neg.f64 (log.f64 x)))
(pow.f64 (sqrt.f64 (*.f64 x (neg.f64 (log.f64 x)))) 2)
(sqrt.f64 (*.f64 x (neg.f64 (log.f64 x))))

Outputs

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

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

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

simplify159.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

2025×	`fma-def_binary64`
1087×	`fma-neg_binary64`
603×	`distribute-rgt-in_binary64`
255×	`unsub-neg_binary64`
250×	`associate--r-_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	96
1	38	96
2	75	96
3	195	96
4	388	96
5	839	96
6	2318	96
7	3405	96
8	3813	96
9	3900	96
10	3906	96
11	3908	96
12	5101	96
13	5750	96
14	5887	96
15	5923	96
16	5937	96
17	5941	96
18	5941	96
19	5965	96

Stop Event

1×	node limit

Counts

81 → 63

Calls

Call 1

Inputs
(.f64 -1 (.f64 x (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(*.f64 (log.f64 (/.f64 1 x)) x)
(*.f64 (log.f64 (/.f64 1 x)) x)
(*.f64 (log.f64 (/.f64 1 x)) x)
(*.f64 (log.f64 (/.f64 1 x)) x)
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))

Outputs
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 (log.f64 (/.f64 1 x)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 (log.f64 (/.f64 1 x)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 (log.f64 (/.f64 1 x)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 (log.f64 (/.f64 1 x)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (log.f64 x))
✓	0.1b	(*.f64 x (sqrt.f64 (log.f64 x)))
✓	0.2b	(.f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))

Compiler

Compiled 21 to 5 computations (76.2% saved)

series4.0ms (0.1%)

Counts

3 → 32

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(*.f64 x (sqrt.f64 (log.f64 x)))
1.0ms	x	@	inf	(*.f64 x (sqrt.f64 (log.f64 x)))
1.0ms	x	@	0	(*.f64 x (sqrt.f64 (log.f64 x)))
0.0ms	x	@	0	(.f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
0.0ms	x	@	-inf	(.f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))

rewrite53.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

527×	`pow1_binary64`
500×	`add-sqr-sqrt_binary64`
485×	`add-log-exp_binary64`
485×	`log1p-expm1-u_binary64`
485×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	117	19
2	1381	19

Stop Event

1×	node limit

Counts

3 → 42

Calls

Call 1

Inputs
(.f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
(*.f64 x (sqrt.f64 (log.f64 x)))
(sqrt.f64 (log.f64 x))

Outputs

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

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

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

simplify182.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

2081×	`fma-def_binary64`
937×	`fma-neg_binary64`
695×	`distribute-rgt-in_binary64`
313×	`unsub-neg_binary64`
262×	`associate--r+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	25	300
1	49	296
2	81	296
3	157	264
4	299	264
5	731	264
6	2090	264
7	3308	264
8	3756	264
9	3928	264
10	3946	264
11	3952	264
12	5465	264
13	6128	264
14	6285	264
15	6340	264
16	6358	264
17	6362	264
18	6362	264
19	6362	264

Stop Event

1×	node limit

Counts

74 → 55

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 (sqrt.f64 (log.f64 x)) x)
(*.f64 (sqrt.f64 (log.f64 x)) x)
(*.f64 (sqrt.f64 (log.f64 x)) x)
(*.f64 (sqrt.f64 (log.f64 x)) x)
(.f64 (.f64 (sqrt.f64 -1) x) (sqrt.f64 (log.f64 (/.f64 1 x))))
(.f64 (.f64 (sqrt.f64 -1) x) (sqrt.f64 (log.f64 (/.f64 1 x))))
(.f64 (.f64 (sqrt.f64 -1) x) (sqrt.f64 (log.f64 (/.f64 1 x))))
(.f64 (.f64 (sqrt.f64 -1) x) (sqrt.f64 (log.f64 (/.f64 1 x))))
(.f64 (sqrt.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) x)
(.f64 (sqrt.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) x)
(.f64 (sqrt.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) x)
(.f64 (sqrt.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) x)
(*.f64 (sqrt.f64 -1) (sqrt.f64 (log.f64 (/.f64 1 x))))
(*.f64 (sqrt.f64 -1) (sqrt.f64 (log.f64 (/.f64 1 x))))
(*.f64 (sqrt.f64 -1) (sqrt.f64 (log.f64 (/.f64 1 x))))
(*.f64 (sqrt.f64 -1) (sqrt.f64 (log.f64 (/.f64 1 x))))
(sqrt.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(sqrt.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(sqrt.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(sqrt.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(*.f64 (sqrt.f64 (log.f64 x)) x)
(*.f64 x (sqrt.f64 (log.f64 x)))
(*.f64 (sqrt.f64 (log.f64 x)) x)
(*.f64 x (sqrt.f64 (log.f64 x)))
(*.f64 (sqrt.f64 (log.f64 x)) x)
(*.f64 x (sqrt.f64 (log.f64 x)))
(*.f64 (sqrt.f64 (log.f64 x)) x)
(*.f64 x (sqrt.f64 (log.f64 x)))
(.f64 (.f64 (sqrt.f64 -1) x) (sqrt.f64 (log.f64 (/.f64 1 x))))
(.f64 (.f64 x (sqrt.f64 -1)) (sqrt.f64 (neg.f64 (log.f64 x))))
(.f64 x (.f64 (sqrt.f64 -1) (sqrt.f64 (neg.f64 (log.f64 x)))))
(.f64 (.f64 (sqrt.f64 -1) x) (sqrt.f64 (log.f64 (/.f64 1 x))))
(.f64 (.f64 x (sqrt.f64 -1)) (sqrt.f64 (neg.f64 (log.f64 x))))
(.f64 x (.f64 (sqrt.f64 -1) (sqrt.f64 (neg.f64 (log.f64 x)))))
(.f64 (.f64 (sqrt.f64 -1) x) (sqrt.f64 (log.f64 (/.f64 1 x))))
(.f64 (.f64 x (sqrt.f64 -1)) (sqrt.f64 (neg.f64 (log.f64 x))))
(.f64 x (.f64 (sqrt.f64 -1) (sqrt.f64 (neg.f64 (log.f64 x)))))
(.f64 (.f64 (sqrt.f64 -1) x) (sqrt.f64 (log.f64 (/.f64 1 x))))
(.f64 (.f64 x (sqrt.f64 -1)) (sqrt.f64 (neg.f64 (log.f64 x))))
(.f64 x (.f64 (sqrt.f64 -1) (sqrt.f64 (neg.f64 (log.f64 x)))))
(.f64 (sqrt.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) x)
(*.f64 x (sqrt.f64 (log.f64 x)))
(.f64 (sqrt.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) x)
(*.f64 x (sqrt.f64 (log.f64 x)))
(.f64 (sqrt.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) x)
(*.f64 x (sqrt.f64 (log.f64 x)))
(.f64 (sqrt.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) x)
(*.f64 x (sqrt.f64 (log.f64 x)))
(*.f64 (sqrt.f64 -1) (sqrt.f64 (log.f64 (/.f64 1 x))))
(*.f64 (sqrt.f64 -1) (sqrt.f64 (neg.f64 (log.f64 x))))
(*.f64 (sqrt.f64 -1) (sqrt.f64 (log.f64 (/.f64 1 x))))
(*.f64 (sqrt.f64 -1) (sqrt.f64 (neg.f64 (log.f64 x))))
(*.f64 (sqrt.f64 -1) (sqrt.f64 (log.f64 (/.f64 1 x))))
(*.f64 (sqrt.f64 -1) (sqrt.f64 (neg.f64 (log.f64 x))))
(*.f64 (sqrt.f64 -1) (sqrt.f64 (log.f64 (/.f64 1 x))))
(*.f64 (sqrt.f64 -1) (sqrt.f64 (neg.f64 (log.f64 x))))
(sqrt.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(sqrt.f64 (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))
(sqrt.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))
(sqrt.f64 (log.f64 x))
(sqrt.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(sqrt.f64 (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))
(sqrt.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))
(sqrt.f64 (log.f64 x))
(sqrt.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(sqrt.f64 (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))
(sqrt.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))
(sqrt.f64 (log.f64 x))
(sqrt.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(sqrt.f64 (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))
(sqrt.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))
(sqrt.f64 (log.f64 x))

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(sqrt.f64 (*.f64 x (log.f64 x)))
✓	0.2b	(.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (.f64 x (log.f64 x))))
✓	0.2b	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (*.f64 x (log.f64 x)))))
	0.3b	(*.f64 x (log.f64 x))

Compiler

Compiled 39 to 8 computations (79.5% saved)

series2.0ms (0%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	(.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (.f64 x (log.f64 x))))
0.0ms	x	@	0	(.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (.f64 x (log.f64 x))))
0.0ms	x	@	inf	(.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (.f64 x (log.f64 x))))
0.0ms	x	@	0	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (*.f64 x (log.f64 x)))))
0.0ms	x	@	-inf	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (*.f64 x (log.f64 x)))))

rewrite67.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

684×	`pow1_binary64`
630×	`add-log-exp_binary64`
630×	`log1p-expm1-u_binary64`
630×	`expm1-log1p-u_binary64`
611×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	179	14
2	1875	14

Stop Event

1×	node limit

Counts

2 → 30

Calls

Call 1

Inputs
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (*.f64 x (log.f64 x)))))
(.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (.f64 x (log.f64 x))))

Outputs

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

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

simplify76.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

595×	`fma-neg_binary64`
504×	`unsub-neg_binary64`
401×	`fma-def_binary64`
372×	`distribute-rgt-neg-in_binary64`
297×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	72
1	49	72
2	135	72
3	439	72
4	1488	72
5	3397	72
6	6210	72
7	7527	72

Stop Event

1×	node limit

Counts

42 → 34

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 x (log.f64 x))

eval154.0ms (2.3%)

Compiler: Compiled 3801 to 1666 computations (56.2% saved)

prune142.0ms (2.1%)

Pruning

24 alts after pruning (13 fresh and 11 done)

	Pruned	Kept	Total
New	322	3	325
Fresh	2	10	12
Picked	0	1	1
Done	0	10	10
Total	324	24	348

Error

0.0b

Counts

348 → 24

Alt Table

Click to see full alt table

Status	Error	Program
✓	32.1b	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
✓	0.6b	(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))
✓	32.6b	(.f64 -1 (pow.f64 (sqrt.f64 (.f64 x (neg.f64 (log.f64 x)))) 2))
	20.6b	(.f64 (sqrt.f64 x) (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 x) (log.f64 x)) 3)))
✓	32.1b	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (*.f64 x (log.f64 x)))))
	32.1b	(.f64 (.f64 x (cbrt.f64 (pow.f64 (log.f64 x) 3/2))) (sqrt.f64 (log.f64 x)))
▶	1.3b	(.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (.f64 (cbrt.f64 (log.f64 x)) x))
▶	32.8b	(.f64 -1 (.f64 (expm1.f64 (log1p.f64 (neg.f64 (log.f64 x)))) x))
✓	34.5b	(exp.f64 (log.f64 (*.f64 x (log.f64 x))))
▶	0.6b	(.f64 -1 (.f64 (cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) x))
✓	32.0b	(.f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
	30.9b	(.f64 -1 (.f64 (+.f64 (log.f64 (cbrt.f64 (pow.f64 x -2))) (log.f64 (/.f64 1 (cbrt.f64 x)))) x))
▶	32.1b	(pow.f64 (*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x)) 2)
✓	40.4b	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
	1.3b	(.f64 -1 (.f64 (pow.f64 (cbrt.f64 (neg.f64 (log.f64 x))) 3) x))
	1.2b	(.f64 (.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 x)) (cbrt.f64 (log.f64 x)))
✓	0.3b	(*.f64 x (log.f64 x))
	1.4b	(.f64 (.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
	1.7b	(pow.f64 (*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x)) 3)
	40.8b	(cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))
✓	1.4b	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
✓	32.8b	(.f64 -1 (.f64 (exp.f64 (log.f64 (neg.f64 (log.f64 x)))) x))
▶	1.4b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
✓	0.3b	(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))

Compiler

Compiled 396 to 284 computations (28.3% saved)

localize18.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) x)
✓	0.5b	(cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 3))
✓	0.8b	(pow.f64 (neg.f64 (log.f64 x)) 3)

Compiler

Compiled 38 to 20 computations (47.4% saved)

series6.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(pow.f64 (neg.f64 (log.f64 x)) 3)
1.0ms	x	@	-inf	(pow.f64 (neg.f64 (log.f64 x)) 3)
1.0ms	x	@	inf	(pow.f64 (neg.f64 (log.f64 x)) 3)
1.0ms	x	@	0	(*.f64 (cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) x)
1.0ms	x	@	inf	(*.f64 (cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) x)

rewrite83.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

555×	`pow1_binary64`
523×	`add-log-exp_binary64`
522×	`log1p-expm1-u_binary64`
522×	`expm1-log1p-u_binary64`
511×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	21
1	172	15
2	1816	15

Stop Event

1×	node limit

Counts

3 → 69

Calls

Call 1

Inputs
(pow.f64 (neg.f64 (log.f64 x)) 3)
(cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 3))
(*.f64 (cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) x)

Outputs

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

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

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

simplify57.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

823×	`fma-def_binary64`
743×	`unsub-neg_binary64`
328×	`associate-+r+_binary64`
316×	`distribute-neg-in_binary64`
275×	`associate-+l+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	324
1	87	324
2	235	324
3	749	324
4	2352	324
5	5985	324

Stop Event

1×	node limit

Counts

105 → 80

Calls

Call 1

Inputs
(*.f64 -1 (pow.f64 (log.f64 x) 3))
(*.f64 -1 (pow.f64 (log.f64 x) 3))
(*.f64 -1 (pow.f64 (log.f64 x) 3))
(*.f64 -1 (pow.f64 (log.f64 x) 3))
(pow.f64 (log.f64 (/.f64 1 x)) 3)
(pow.f64 (log.f64 (/.f64 1 x)) 3)
(pow.f64 (log.f64 (/.f64 1 x)) 3)
(pow.f64 (log.f64 (/.f64 1 x)) 3)
(.f64 -1 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))
(.f64 -1 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))
(.f64 -1 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))
(.f64 -1 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))
(*.f64 (cbrt.f64 -1) (log.f64 x))
(*.f64 (cbrt.f64 -1) (log.f64 x))
(*.f64 (cbrt.f64 -1) (log.f64 x))
(*.f64 (cbrt.f64 -1) (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (cbrt.f64 -1)))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (cbrt.f64 -1)))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (cbrt.f64 -1)))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (cbrt.f64 -1)))
(.f64 (cbrt.f64 -1) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(.f64 (cbrt.f64 -1) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(.f64 (cbrt.f64 -1) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(.f64 (cbrt.f64 -1) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 -1) x)))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 -1) x)))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 -1) x)))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 -1) x)))
(.f64 (cbrt.f64 -1) (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 (cbrt.f64 -1) (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 (cbrt.f64 -1) (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 (cbrt.f64 -1) (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))

Outputs
(*.f64 -1 (pow.f64 (log.f64 x) 3))
(neg.f64 (pow.f64 (log.f64 x) 3))
(pow.f64 (neg.f64 (log.f64 x)) 3)
(*.f64 -1 (pow.f64 (log.f64 x) 3))
(neg.f64 (pow.f64 (log.f64 x) 3))
(pow.f64 (neg.f64 (log.f64 x)) 3)
(*.f64 -1 (pow.f64 (log.f64 x) 3))
(neg.f64 (pow.f64 (log.f64 x) 3))
(pow.f64 (neg.f64 (log.f64 x)) 3)
(*.f64 -1 (pow.f64 (log.f64 x) 3))
(neg.f64 (pow.f64 (log.f64 x) 3))
(pow.f64 (neg.f64 (log.f64 x)) 3)
(pow.f64 (log.f64 (/.f64 1 x)) 3)
(neg.f64 (pow.f64 (log.f64 x) 3))
(pow.f64 (neg.f64 (log.f64 x)) 3)
(pow.f64 (log.f64 (/.f64 1 x)) 3)
(neg.f64 (pow.f64 (log.f64 x) 3))
(pow.f64 (neg.f64 (log.f64 x)) 3)
(pow.f64 (log.f64 (/.f64 1 x)) 3)
(neg.f64 (pow.f64 (log.f64 x) 3))
(pow.f64 (neg.f64 (log.f64 x)) 3)
(pow.f64 (log.f64 (/.f64 1 x)) 3)
(neg.f64 (pow.f64 (log.f64 x) 3))
(pow.f64 (neg.f64 (log.f64 x)) 3)
(.f64 -1 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))
(neg.f64 (pow.f64 (log.f64 x) 3))
(pow.f64 (neg.f64 (log.f64 x)) 3)
(.f64 -1 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))
(neg.f64 (pow.f64 (log.f64 x) 3))
(pow.f64 (neg.f64 (log.f64 x)) 3)
(.f64 -1 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))
(neg.f64 (pow.f64 (log.f64 x) 3))
(pow.f64 (neg.f64 (log.f64 x)) 3)
(.f64 -1 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))
(neg.f64 (pow.f64 (log.f64 x) 3))
(pow.f64 (neg.f64 (log.f64 x)) 3)
(*.f64 (cbrt.f64 -1) (log.f64 x))
(*.f64 (log.f64 x) (cbrt.f64 -1))
(*.f64 (cbrt.f64 -1) (log.f64 x))
(*.f64 (log.f64 x) (cbrt.f64 -1))
(*.f64 (cbrt.f64 -1) (log.f64 x))
(*.f64 (log.f64 x) (cbrt.f64 -1))
(*.f64 (cbrt.f64 -1) (log.f64 x))
(*.f64 (log.f64 x) (cbrt.f64 -1))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (cbrt.f64 -1)))
(*.f64 (log.f64 x) (cbrt.f64 -1))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (cbrt.f64 -1)))
(*.f64 (log.f64 x) (cbrt.f64 -1))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (cbrt.f64 -1)))
(*.f64 (log.f64 x) (cbrt.f64 -1))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (cbrt.f64 -1)))
(*.f64 (log.f64 x) (cbrt.f64 -1))
(.f64 (cbrt.f64 -1) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(*.f64 (log.f64 x) (cbrt.f64 -1))
(.f64 (cbrt.f64 -1) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(*.f64 (log.f64 x) (cbrt.f64 -1))
(.f64 (cbrt.f64 -1) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(*.f64 (log.f64 x) (cbrt.f64 -1))
(.f64 (cbrt.f64 -1) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(*.f64 (log.f64 x) (cbrt.f64 -1))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 x (.f64 (log.f64 x) (cbrt.f64 -1)))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 x (.f64 (log.f64 x) (cbrt.f64 -1)))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 x (.f64 (log.f64 x) (cbrt.f64 -1)))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 x (.f64 (log.f64 x) (cbrt.f64 -1)))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 -1) x)))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 x (.f64 (log.f64 x) (cbrt.f64 -1)))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 -1) x)))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 x (.f64 (log.f64 x) (cbrt.f64 -1)))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 -1) x)))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 x (.f64 (log.f64 x) (cbrt.f64 -1)))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 -1) x)))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 x (.f64 (log.f64 x) (cbrt.f64 -1)))
(.f64 (cbrt.f64 -1) (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 x (.f64 (log.f64 x) (cbrt.f64 -1)))
(.f64 (cbrt.f64 -1) (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 x (.f64 (log.f64 x) (cbrt.f64 -1)))
(.f64 (cbrt.f64 -1) (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 x (.f64 (log.f64 x) (cbrt.f64 -1)))
(.f64 (cbrt.f64 -1) (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 (cbrt.f64 -1) (.f64 x (log.f64 x)))
(.f64 x (.f64 (log.f64 x) (cbrt.f64 -1)))

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(log1p.f64 (neg.f64 (log.f64 x)))
✓	0.2b	(*.f64 (expm1.f64 (log1p.f64 (neg.f64 (log.f64 x)))) x)
✓	0.6b	(expm1.f64 (log1p.f64 (neg.f64 (log.f64 x))))

Compiler

Compiled 33 to 9 computations (72.7% saved)

series151.0ms (2.2%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
119.0ms	x	@	-inf	(log1p.f64 (neg.f64 (log.f64 x)))
16.0ms	x	@	0	(log1p.f64 (neg.f64 (log.f64 x)))
14.0ms	x	@	inf	(log1p.f64 (neg.f64 (log.f64 x)))
0.0ms	x	@	0	(expm1.f64 (log1p.f64 (neg.f64 (log.f64 x))))
0.0ms	x	@	inf	(expm1.f64 (log1p.f64 (neg.f64 (log.f64 x))))

rewrite45.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

464×	`pow1_binary64`
444×	`add-sqr-sqrt_binary64`
438×	`*-un-lft-identity_binary64`
427×	`add-log-exp_binary64`
427×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	122	14
2	1467	14

Stop Event

1×	node limit

Counts

3 → 60

Calls

Call 1

Inputs
(expm1.f64 (log1p.f64 (neg.f64 (log.f64 x))))
(*.f64 (expm1.f64 (log1p.f64 (neg.f64 (log.f64 x)))) x)
(log1p.f64 (neg.f64 (log.f64 x)))

Outputs

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

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

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

simplify129.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1863×	`fma-neg_binary64`
817×	`distribute-rgt-in_binary64`
548×	`fma-def_binary64`
547×	`distribute-lft-in_binary64`
430×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	26	252
1	66	240
2	127	240
3	335	240
4	638	240
5	1507	240
6	3681	240
7	4615	240
8	5101	240
9	5210	240
10	5246	240
11	5258	240
12	6668	240
13	6836	240

Stop Event

1×	node limit

Counts

96 → 70

Calls

Call 1

Inputs
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(log.f64 (/.f64 1 x))
(log.f64 (/.f64 1 x))
(log.f64 (/.f64 1 x))
(log.f64 (/.f64 1 x))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(.f64 -1 (.f64 x (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(*.f64 (log.f64 (/.f64 1 x)) x)
(*.f64 (log.f64 (/.f64 1 x)) x)
(*.f64 (log.f64 (/.f64 1 x)) x)
(*.f64 (log.f64 (/.f64 1 x)) x)
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(log.f64 (-.f64 1 (log.f64 x)))
(log.f64 (-.f64 1 (log.f64 x)))
(log.f64 (-.f64 1 (log.f64 x)))
(log.f64 (-.f64 1 (log.f64 x)))
(log.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))

Outputs
(*.f64 -1 (log.f64 x))
(neg.f64 (log.f64 x))
(*.f64 -1 (log.f64 x))
(neg.f64 (log.f64 x))
(*.f64 -1 (log.f64 x))
(neg.f64 (log.f64 x))
(*.f64 -1 (log.f64 x))
(neg.f64 (log.f64 x))
(log.f64 (/.f64 1 x))
(neg.f64 (log.f64 x))
(log.f64 (/.f64 1 x))
(neg.f64 (log.f64 x))
(log.f64 (/.f64 1 x))
(neg.f64 (log.f64 x))
(log.f64 (/.f64 1 x))
(neg.f64 (log.f64 x))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(neg.f64 (log.f64 x))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(neg.f64 (log.f64 x))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(neg.f64 (log.f64 x))
(.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(neg.f64 (log.f64 x))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 x (log.f64 x)))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 (/.f64 1 x)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 (/.f64 1 x)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 (/.f64 1 x)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(*.f64 (log.f64 (/.f64 1 x)) x)
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(.f64 -1 (.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x))
(neg.f64 (*.f64 x (log.f64 x)))
(*.f64 (log.f64 x) (neg.f64 x))
(*.f64 x (neg.f64 (log.f64 x)))
(log.f64 (-.f64 1 (log.f64 x)))
(log1p.f64 (neg.f64 (log.f64 x)))
(log.f64 (-.f64 1 (log.f64 x)))
(log1p.f64 (neg.f64 (log.f64 x)))
(log.f64 (-.f64 1 (log.f64 x)))
(log1p.f64 (neg.f64 (log.f64 x)))
(log.f64 (-.f64 1 (log.f64 x)))
(log1p.f64 (neg.f64 (log.f64 x)))
(log.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (-.f64 1 (log.f64 x)))
(log1p.f64 (neg.f64 (log.f64 x)))
(log.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (-.f64 1 (log.f64 x)))
(log1p.f64 (neg.f64 (log.f64 x)))
(log.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (-.f64 1 (log.f64 x)))
(log1p.f64 (neg.f64 (log.f64 x)))
(log.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(log.f64 (-.f64 1 (log.f64 x)))
(log1p.f64 (neg.f64 (log.f64 x)))
(log.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (-.f64 1 (log.f64 x)))
(log1p.f64 (neg.f64 (log.f64 x)))
(log.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (-.f64 1 (log.f64 x)))
(log1p.f64 (neg.f64 (log.f64 x)))
(log.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (-.f64 1 (log.f64 x)))
(log1p.f64 (neg.f64 (log.f64 x)))
(log.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (-.f64 1 (log.f64 x)))
(log1p.f64 (neg.f64 (log.f64 x)))

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(sqrt.f64 (log.f64 x))
✓	0.1b	(*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x))
✓	0.3b	(pow.f64 (*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x)) 2)

Compiler

Compiled 24 to 8 computations (66.7% saved)

series3.0ms (0%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(pow.f64 (*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x)) 2)
1.0ms	x	@	0	(pow.f64 (*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x)) 2)
0.0ms	x	@	inf	(pow.f64 (*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x)) 2)
0.0ms	x	@	-inf	(*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x))
0.0ms	x	@	0	(*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x))

rewrite72.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

635×	`pow1_binary64`
586×	`add-log-exp_binary64`
586×	`log1p-expm1-u_binary64`
586×	`expm1-log1p-u_binary64`
568×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	164	14
2	1788	14

Stop Event

1×	node limit

Counts

2 → 39

Calls

Call 1

Inputs
(pow.f64 (*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x)) 2)
(*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x))

Outputs

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

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

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

39 → 39

Calls

Call 1

Inputs

Outputs

localize74.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (cbrt.f64 x) (log.f64 x))
✓	0.4b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
✓	0.4b	(pow.f64 (cbrt.f64 x) 2)
✓	0.6b	(cbrt.f64 x)

Compiler

Compiled 26 to 10 computations (61.5% saved)

series8.0ms (0.1%)

Counts

4 → 12

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
1.0ms	x	@	-inf	(*.f64 (cbrt.f64 x) (log.f64 x))
1.0ms	x	@	-inf	(pow.f64 (cbrt.f64 x) 2)
1.0ms	x	@	inf	(*.f64 (cbrt.f64 x) (log.f64 x))
1.0ms	x	@	inf	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))

rewrite59.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

655×	`pow1_binary64`
605×	`add-log-exp_binary64`
605×	`log1p-expm1-u_binary64`
605×	`expm1-log1p-u_binary64`
591×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	160	23
2	1755	23

Stop Event

1×	node limit

Counts

4 → 63

Calls

Call 1

Inputs
(cbrt.f64 x)
(pow.f64 (cbrt.f64 x) 2)
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
(*.f64 (cbrt.f64 x) (log.f64 x))

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

simplify155.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1961×	`fma-def_binary64`
961×	`fma-neg_binary64`
610×	`distribute-rgt-in_binary64`
511×	`distribute-lft-in_binary64`
249×	`unsub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	72
1	33	72
2	60	72
3	134	72
4	275	72
5	704	72
6	1985	72
7	3039	72
8	3407	72
9	3573	72
10	3583	72
11	3585	72
12	4846	72
13	5508	72
14	5640	72
15	5676	72
16	5690	72
17	5694	72
18	5694	72
19	5718	72

Stop Event

1×	node limit

Counts

75 → 67

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (cbrt.f64 (log.f64 x)) x)
✓	0.4b	(.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (.f64 (cbrt.f64 (log.f64 x)) x))
✓	0.5b	(cbrt.f64 (log.f64 x))
✓	0.6b	(pow.f64 (cbrt.f64 (log.f64 x)) 2)

Compiler

Compiled 29 to 10 computations (65.5% saved)

series20.0ms (0.3%)

Counts

4 → 48

Calls

12 calls:

Time	Variable		Point	Expression
8.0ms	x	@	0	(pow.f64 (cbrt.f64 (log.f64 x)) 2)
2.0ms	x	@	inf	(pow.f64 (cbrt.f64 (log.f64 x)) 2)
2.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (log.f64 x)) 2)
2.0ms	x	@	0	(*.f64 (cbrt.f64 (log.f64 x)) x)
2.0ms	x	@	-inf	(*.f64 (cbrt.f64 (log.f64 x)) x)

rewrite67.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

655×	`pow1_binary64`
605×	`add-log-exp_binary64`
605×	`log1p-expm1-u_binary64`
605×	`expm1-log1p-u_binary64`
591×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	27
1	160	27
2	1753	27

Stop Event

1×	node limit

Counts

4 → 63

Calls

Call 1

Inputs
(pow.f64 (cbrt.f64 (log.f64 x)) 2)
(cbrt.f64 (log.f64 x))
(.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (.f64 (cbrt.f64 (log.f64 x)) x))
(*.f64 (cbrt.f64 (log.f64 x)) x)

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

simplify65.0ms (1%)

Algorithm

1×	egg-herbie

Rules

616×	`fma-def_binary64`
496×	`associate-l_binary64`
492×	`unswap-sqr_binary64`
491×	`unsub-neg_binary64`
423×	`fma-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	420
1	113	412
2	242	412
3	681	412
4	2657	412
5	5724	412

Stop Event

1×	node limit

Counts

111 → 80

Calls

Call 1

Inputs
(pow.f64 (pow.f64 (log.f64 x) 2) 1/3)
(pow.f64 (pow.f64 (log.f64 x) 2) 1/3)
(pow.f64 (pow.f64 (log.f64 x) 2) 1/3)
(pow.f64 (pow.f64 (log.f64 x) 2) 1/3)
(.f64 (pow.f64 (.f64 1 (pow.f64 (log.f64 (/.f64 1 x)) 2)) 1/3) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (pow.f64 (.f64 1 (pow.f64 (log.f64 (/.f64 1 x)) 2)) 1/3) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (pow.f64 (.f64 1 (pow.f64 (log.f64 (/.f64 1 x)) 2)) 1/3) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (pow.f64 (.f64 1 (pow.f64 (log.f64 (/.f64 1 x)) 2)) 1/3) (pow.f64 (cbrt.f64 -1) 2))
(pow.f64 (pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2) 1/3)
(pow.f64 (pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2) 1/3)
(pow.f64 (pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2) 1/3)
(pow.f64 (pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2) 1/3)
(pow.f64 (log.f64 x) 1/3)
(pow.f64 (log.f64 x) 1/3)
(pow.f64 (log.f64 x) 1/3)
(pow.f64 (log.f64 x) 1/3)
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (pow.f64 (.f64 1 (log.f64 x)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (log.f64 x)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (log.f64 x)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (log.f64 x)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (*.f64 (cbrt.f64 -1) x))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (*.f64 (cbrt.f64 -1) x))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (*.f64 (cbrt.f64 -1) x))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (*.f64 (cbrt.f64 -1) x))
(.f64 (pow.f64 (.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) 1/3) x)
(.f64 (pow.f64 (.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) 1/3) x)
(.f64 (pow.f64 (.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) 1/3) x)
(.f64 (pow.f64 (.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) 1/3) x)

Outputs
(pow.f64 (pow.f64 (log.f64 x) 2) 1/3)
(cbrt.f64 (pow.f64 (log.f64 x) 2))
(pow.f64 (pow.f64 (log.f64 x) 2) 1/3)
(cbrt.f64 (pow.f64 (log.f64 x) 2))
(pow.f64 (pow.f64 (log.f64 x) 2) 1/3)
(cbrt.f64 (pow.f64 (log.f64 x) 2))
(pow.f64 (pow.f64 (log.f64 x) 2) 1/3)
(cbrt.f64 (pow.f64 (log.f64 x) 2))
(.f64 (pow.f64 (.f64 1 (pow.f64 (log.f64 (/.f64 1 x)) 2)) 1/3) (pow.f64 (cbrt.f64 -1) 2))
(*.f64 (cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 2)) (pow.f64 (cbrt.f64 -1) 2))
(*.f64 (cbrt.f64 (pow.f64 (log.f64 x) 2)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (pow.f64 (.f64 1 (pow.f64 (log.f64 (/.f64 1 x)) 2)) 1/3) (pow.f64 (cbrt.f64 -1) 2))
(*.f64 (cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 2)) (pow.f64 (cbrt.f64 -1) 2))
(*.f64 (cbrt.f64 (pow.f64 (log.f64 x) 2)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (pow.f64 (.f64 1 (pow.f64 (log.f64 (/.f64 1 x)) 2)) 1/3) (pow.f64 (cbrt.f64 -1) 2))
(*.f64 (cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 2)) (pow.f64 (cbrt.f64 -1) 2))
(*.f64 (cbrt.f64 (pow.f64 (log.f64 x) 2)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (pow.f64 (.f64 1 (pow.f64 (log.f64 (/.f64 1 x)) 2)) 1/3) (pow.f64 (cbrt.f64 -1) 2))
(*.f64 (cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 2)) (pow.f64 (cbrt.f64 -1) 2))
(*.f64 (cbrt.f64 (pow.f64 (log.f64 x) 2)) (pow.f64 (cbrt.f64 -1) 2))
(pow.f64 (pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2) 1/3)
(cbrt.f64 (pow.f64 (log.f64 x) 2))
(pow.f64 (pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2) 1/3)
(cbrt.f64 (pow.f64 (log.f64 x) 2))
(pow.f64 (pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2) 1/3)
(cbrt.f64 (pow.f64 (log.f64 x) 2))
(pow.f64 (pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2) 1/3)
(cbrt.f64 (pow.f64 (log.f64 x) 2))
(pow.f64 (log.f64 x) 1/3)
(cbrt.f64 (log.f64 x))
(pow.f64 (log.f64 x) 1/3)
(cbrt.f64 (log.f64 x))
(pow.f64 (log.f64 x) 1/3)
(cbrt.f64 (log.f64 x))
(pow.f64 (log.f64 x) 1/3)
(cbrt.f64 (log.f64 x))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 (log.f64 x))))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 (log.f64 x))))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 (log.f64 x))))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 (log.f64 x))))
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(cbrt.f64 (log.f64 x))
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(cbrt.f64 (log.f64 x))
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(cbrt.f64 (log.f64 x))
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(cbrt.f64 (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (pow.f64 (.f64 1 (log.f64 x)) 1/3) x)
(*.f64 x (cbrt.f64 (log.f64 x)))
(.f64 (pow.f64 (.f64 1 (log.f64 x)) 1/3) x)
(*.f64 x (cbrt.f64 (log.f64 x)))
(.f64 (pow.f64 (.f64 1 (log.f64 x)) 1/3) x)
(*.f64 x (cbrt.f64 (log.f64 x)))
(.f64 (pow.f64 (.f64 1 (log.f64 x)) 1/3) x)
(*.f64 x (cbrt.f64 (log.f64 x)))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (*.f64 (cbrt.f64 -1) x))
(.f64 (cbrt.f64 (neg.f64 (log.f64 x))) (.f64 x (cbrt.f64 -1)))
(.f64 x (.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 (log.f64 x)))))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (*.f64 (cbrt.f64 -1) x))
(.f64 (cbrt.f64 (neg.f64 (log.f64 x))) (.f64 x (cbrt.f64 -1)))
(.f64 x (.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 (log.f64 x)))))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (*.f64 (cbrt.f64 -1) x))
(.f64 (cbrt.f64 (neg.f64 (log.f64 x))) (.f64 x (cbrt.f64 -1)))
(.f64 x (.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 (log.f64 x)))))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (*.f64 (cbrt.f64 -1) x))
(.f64 (cbrt.f64 (neg.f64 (log.f64 x))) (.f64 x (cbrt.f64 -1)))
(.f64 x (.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 (log.f64 x)))))
(.f64 (pow.f64 (.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) 1/3) x)
(*.f64 x (cbrt.f64 (log.f64 x)))
(.f64 (pow.f64 (.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) 1/3) x)
(*.f64 x (cbrt.f64 (log.f64 x)))
(.f64 (pow.f64 (.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) 1/3) x)
(*.f64 x (cbrt.f64 (log.f64 x)))
(.f64 (pow.f64 (.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) 1/3) x)
(*.f64 x (cbrt.f64 (log.f64 x)))

eval131.0ms (1.9%)

Compiler: Compiled 4817 to 2351 computations (51.2% saved)

prune149.0ms (2.2%)

Pruning

24 alts after pruning (8 fresh and 16 done)

	Pruned	Kept	Total
New	400	4	404
Fresh	4	4	8
Picked	0	1	1
Done	0	15	15
Total	404	24	428

Error

Counts

428 → 24

Alt Table

Click to see full alt table

Status	Error	Program
	29.6b	(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (cbrt.f64 x) (log.f64 x)))
	40.8b	(cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))
✓	32.1b	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
✓	0.6b	(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))
✓	32.6b	(.f64 -1 (pow.f64 (sqrt.f64 (.f64 x (neg.f64 (log.f64 x)))) 2))
	20.6b	(.f64 (sqrt.f64 x) (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 x) (log.f64 x)) 3)))
✓	32.1b	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (*.f64 x (log.f64 x)))))
✓	1.3b	(.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (.f64 (cbrt.f64 (log.f64 x)) x))
✓	32.8b	(.f64 -1 (.f64 (expm1.f64 (log1p.f64 (neg.f64 (log.f64 x)))) x))
✓	34.5b	(exp.f64 (log.f64 (*.f64 x (log.f64 x))))
✓	0.6b	(.f64 -1 (.f64 (cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) x))
✓	32.0b	(.f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
	30.9b	(.f64 -1 (.f64 (+.f64 (log.f64 (cbrt.f64 (pow.f64 x -2))) (log.f64 (/.f64 1 (cbrt.f64 x)))) x))
✓	32.1b	(pow.f64 (*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x)) 2)
✓	40.4b	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
	1.3b	(.f64 -1 (.f64 (pow.f64 (cbrt.f64 (neg.f64 (log.f64 x))) 3) x))
✓	0.3b	(*.f64 x (log.f64 x))
	1.4b	(.f64 (.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
	0.8b	(.f64 (cbrt.f64 (pow.f64 (log.f64 x) 2)) (.f64 (cbrt.f64 (log.f64 x)) x))
	40.7b	(cbrt.f64 (.f64 (pow.f64 (.f64 x (cbrt.f64 (log.f64 x))) 3) (pow.f64 (log.f64 x) 2)))
✓	1.4b	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
✓	32.8b	(.f64 -1 (.f64 (exp.f64 (log.f64 (neg.f64 (log.f64 x)))) x))
✓	1.4b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
✓	0.3b	(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))

Compiler

Compiled 248 to 176 computations (29% saved)

regimes119.0ms (1.7%)

Accuracy

Total -63.7b remaining (-22655.6%)

Threshold costs -63.7b (-22655.6%)

Counts

30 → 1

Calls

Call 1

Inputs
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(exp.f64 (log.f64 (*.f64 x (log.f64 x))))
(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))
(.f64 -1 (.f64 (expm1.f64 (log1p.f64 (neg.f64 (log.f64 x)))) x))
(.f64 -1 (.f64 (exp.f64 (log.f64 (neg.f64 (log.f64 x)))) x))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (cbrt.f64 x) (log.f64 x)))
(.f64 -1 (pow.f64 (sqrt.f64 (.f64 x (neg.f64 (log.f64 x)))) 2))
(.f64 -1 (.f64 (cbrt.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) x))
(.f64 -1 (.f64 (pow.f64 (cbrt.f64 (neg.f64 (log.f64 x))) 3) x))
(pow.f64 (*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x)) 2)
(pow.f64 (*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x)) 3)
(cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))
(cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))
(cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))
(.f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
(.f64 (.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
(.f64 (cbrt.f64 (pow.f64 (log.f64 x) 2)) (.f64 (cbrt.f64 (log.f64 x)) x))
(.f64 (sqrt.f64 x) (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 x) (log.f64 x)) 3)))
(.f64 (.f64 x (cbrt.f64 (pow.f64 (log.f64 x) 3/2))) (sqrt.f64 (log.f64 x)))
(.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (.f64 (cbrt.f64 (log.f64 x)) x))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (*.f64 x (log.f64 x)))))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2) (cbrt.f64 (*.f64 x (log.f64 x))))
(.f64 -1 (.f64 (+.f64 (log.f64 (cbrt.f64 (pow.f64 x -2))) (log.f64 (/.f64 1 (cbrt.f64 x)))) x))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (cbrt.f64 (log.f64 x))) 3) (pow.f64 (log.f64 x) 2)))
(.f64 (.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 x)) (cbrt.f64 (log.f64 x)))

Outputs
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))

Calls

3 calls:

78.0ms	(*.f64 x (log.f64 x))
16.0ms	x
16.0ms	(*.f64 x (log.f64 x))

Results

Error	Segments	Branch
0.3b	1	`x`
0.3b	1	`(*.f64 x (log.f64 x))`
0.3b	1	`(*.f64 x (log.f64 x))`

Compiler

Compiled 301 to 144 computations (52.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
3×	`+-commutative_binary64`
3×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
2×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	16	17
2	23	17
3	28	17
4	33	17
5	35	17

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))

Outputs
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(neg.f64 (*.f64 x (log.f64 (/.f64 1 x))))
(*.f64 x (neg.f64 (log.f64 (/.f64 1 x))))
(*.f64 x (log.f64 x))

Compiler

Compiled 13 to 9 computations (30.8% saved)

soundness0.0ms (0%)

end20.0ms (0.3%)

Compiler: Compiled 12 to 8 computations (33.3% saved)