Details

analyze272.0ms (11.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.8%	25%	71.8%	0.1%	3.1%	0%	0%	9
36.4%	34.3%	60.1%	0.1%	5.5%	0%	0%	10
44.5%	41.3%	51.5%	0.1%	7%	0%	0%	11
51.5%	46.8%	44.1%	0.1%	9%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.5s (61%)

Results

1.3s	8256×	body	256	valid
139.0ms	1249×	body	256	infinite

Bogosity

preprocess5.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

24×	`fma-def`
12×	`*-commutative`
12×	`+-commutative`
8×	`distribute-lft-out`
2×	`swap-d2-d3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	52
1	34	52
2	47	52
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2
1

Call 2

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(*.f64 d2 (+.f64 d1 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(*.f64 d3 (+.f64 d2 d1))
(*.f64 d3 (+.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))

Symmetry

(sort d2 d3)

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify13.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

8×	`fma-def`
6×	`*-commutative`
4×	`+-commutative`
2×	`distribute-lft-out`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	15	13
2	20	13

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))

eval1.0ms (0%)

Compiler: Compiled 15 to 8 computations (46.7% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

100.0%

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	100.0%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	100.0%	(*.f64 d1 (+.f64 d2 d3))

Compiler

Compiled 18 to 11 computations (38.9% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))

Compiler

Compiled 14 to 5 computations (64.3% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	-inf	(*.f64 d1 (+.f64 d2 d3))
0.0ms	d2	@	-inf	(*.f64 d1 (+.f64 d2 d3))
0.0ms	d1	@	0	(*.f64 d1 (+.f64 d2 d3))
0.0ms	d2	@	inf	(*.f64 d1 (+.f64 d2 d3))
0.0ms	d1	@	inf	(*.f64 d1 (+.f64 d2 d3))

rewrite58.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1770×	`add-sqr-sqrt`
1754×	`*-un-lft-identity`
1640×	`add-cube-cbrt`
1612×	`add-cbrt-cube`
166×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	154	13
2	2152	13

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d2 d3))

Outputs
((((+.f64 (.f64 d1 d2) (.f64 d1 d3)) (2))) (((+.f64 (.f64 d1 d3) (.f64 d1 d2)) (2))) (((+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 d3) 1)) (2))) (((-.f64 (exp.f64 (log1p.f64 (.f64 d1 (+.f64 d2 d3)))) 1) (2))) (((/.f64 (.f64 d1 (-.f64 (.f64 d2 d2) (.f64 d3 d3))) (-.f64 d2 d3)) (2))) (((/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (fma.f64 d2 d2 (.f64 d3 (-.f64 d3 d2)))) (2))) (((/.f64 (.f64 (-.f64 (.f64 d2 d2) (.f64 d3 d3)) d1) (-.f64 d2 d3)) (2))) (((/.f64 (.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)) d1) (fma.f64 d2 d2 (.f64 d3 (-.f64 d3 d2)))) (2))) (((/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.f64 (.f64 d1 d2) (.f64 d1 d3))) (2))) (((/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d3))))) (2))) (((pow.f64 (.f64 d1 (+.f64 d2 d3)) 1) (2))) (((pow.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) 2) (2))) (((pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 3) (2))) (((pow.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 3) 1/3) (2))) (((sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (2))) (((log.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)) (2))) (((log.f64 (+.f64 1 (expm1.f64 (.f64 d1 (+.f64 d2 d3))))) (2))) (((cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 3)) (2))) (((expm1.f64 (log1p.f64 (.f64 d1 (+.f64 d2 d3)))) (2))) (((exp.f64 (log.f64 (.f64 d1 (+.f64 d2 d3)))) (2))) (((exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) 1)) (2))) (((log1p.f64 (expm1.f64 (.f64 d1 (+.f64 d2 d3)))) (2))) (((fma.f64 d1 d2 (.f64 d1 d3)) (2))) (((fma.f64 d2 d1 (.f64 d1 d3)) (2))))

Outputs

((((+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) (2))) (((+.f64 (*.f64 d1 d3) (*.f64 d1 d2)) (2))) (((+.f64 (*.f64 (*.f64 d1 d2) 1) (*.f64 (*.f64 d1 d3) 1)) (2))) (((-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) 1) (2))) (((/.f64 (*.f64 d1 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))) (-.f64 d2 d3)) (2))) (((/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (fma.f64 d2 d2 (*.f64 d3 (-.f64 d3 d2)))) (2))) (((/.f64 (*.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3)) d1) (-.f64 d2 d3)) (2))) (((/.f64 (*.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)) d1) (fma.f64 d2 d2 (*.f64 d3 (-.f64 d3 d2)))) (2))) (((/.f64 (-.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (*.f64 d1 d3) (*.f64 d1 d3))) (-.f64 (*.f64 d1 d2) (*.f64 d1 d3))) (2))) (((/.f64 (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 d3) 3)) (+.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (-.f64 (*.f64 (*.f64 d1 d3) (*.f64 d1 d3)) (*.f64 (*.f64 d1 d2) (*.f64 d1 d3))))) (2))) (((pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1) (2))) (((pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2) (2))) (((pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3) (2))) (((pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3) (2))) (((sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2)) (2))) (((log.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)) (2))) (((log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))) (2))) (((cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3)) (2))) (((expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) (2))) (((exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3)))) (2))) (((exp.f64 (*.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))) 1)) (2))) (((log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))) (2))) (((fma.f64 d1 d2 (*.f64 d1 d3)) (2))) (((fma.f64 d2 d1 (*.f64 d1 d3)) (2))))

simplify89.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1556×	`associate-/r*`
822×	`associate-*r/`
710×	`associate-+r+`
610×	`associate-+l+`
582×	`associate-*l/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	79	738
1	229	732
2	927	730
3	3679	720

Stop Event

1×	node limit

Counts

48 → 35

Calls

Call 1

Inputs
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 d3) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) 1)
(/.f64 (.f64 d1 (-.f64 (.f64 d2 d2) (*.f64 d3 d3))) (-.f64 d2 d3))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (fma.f64 d2 d2 (.f64 d3 (-.f64 d3 d2))))
(/.f64 (.f64 (-.f64 (.f64 d2 d2) (*.f64 d3 d3)) d1) (-.f64 d2 d3))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)) d1) (fma.f64 d2 d2 (.f64 d3 (-.f64 d3 d2))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.f64 (.f64 d1 d2) (.f64 d1 d3)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (*.f64 d1 d3)))))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) 1))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))

Outputs
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 d3) 1))
(*.f64 d1 (+.f64 d3 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) 1)
(*.f64 d1 (+.f64 d3 d2))
(/.f64 (.f64 d1 (-.f64 (.f64 d2 d2) (*.f64 d3 d3))) (-.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (fma.f64 d2 d2 (.f64 d3 (-.f64 d3 d2))))
(.f64 (/.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)) (fma.f64 d2 d2 (.f64 d3 (-.f64 d3 d2)))) d1)
(.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)) (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2))))
(/.f64 (.f64 (-.f64 (.f64 d2 d2) (*.f64 d3 d3)) d1) (-.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)) d1) (fma.f64 d2 d2 (.f64 d3 (-.f64 d3 d2))))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (fma.f64 d2 d2 (.f64 d3 (-.f64 d3 d2))))
(.f64 (/.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)) (fma.f64 d2 d2 (.f64 d3 (-.f64 d3 d2)))) d1)
(.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)) (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.f64 (.f64 d1 d2) (.f64 d1 d3)))
(*.f64 d1 (+.f64 d3 d2))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (*.f64 d1 d3)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 d1 (.f64 d2 (.f64 d1 d2)) (.f64 d3 (.f64 d1 (*.f64 d1 (-.f64 d3 d2))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (.f64 d1 (+.f64 (.f64 d1 (.f64 d2 d2)) (.f64 d3 (*.f64 d1 (-.f64 d3 d2))))))
(.f64 (/.f64 (pow.f64 d1 3) (.f64 d1 (.f64 d1 (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2))))) (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3)
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)
(*.f64 d1 (+.f64 d3 d2))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3))
(*.f64 d1 (+.f64 d3 d2))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) 1))
(*.f64 d1 (+.f64 d3 d2))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d1 d2 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))

localize34.0ms (1.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	100.0%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Compiler

Compiled 19 to 6 computations (68.4% saved)

series3.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	inf	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
1.0ms	d1	@	0	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
0.0ms	d1	@	-inf	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
0.0ms	d2	@	0	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
0.0ms	d2	@	inf	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

rewrite61.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1902×	`add-sqr-sqrt`
1886×	`*-un-lft-identity`
1756×	`add-cube-cbrt`
1738×	`add-cbrt-cube`
182×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	172	13
2	2330	13

Stop Event

1×	node limit

Counts

1 → 43

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
((((-.f64 (exp.f64 (log1p.f64 (.f64 d1 (+.f64 d2 d3)))) 1) (2))) (((-.f64 (/.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 d1 (-.f64 d2 d3)))) (2))) (((.f64 d1 (+.f64 d2 d3)) (2))) (((.f64 (.f64 d1 (+.f64 d2 d3)) 1) (2))) (((.f64 1 (.f64 d1 (+.f64 d2 d3))) (2))) (((.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) (2))) (((.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 d3))) (2))) (((.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 2)) (2))) (((.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 2) (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) (2))) (((.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 d3))) (2))) (((.f64 (+.f64 d2 d3) d1) (2))) (((.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)) (/.f64 1 (.f64 d1 (-.f64 d2 d3)))) (2))) (((.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (/.f64 1 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))))) (2))) (((/.f64 1 (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)))) (2))) (((/.f64 1 (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))) (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)))) (2))) (((/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)) (.f64 d1 (-.f64 d2 d3))) (2))) (((/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2))))) (2))) (((/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (pow.f64 (.f64 d1 d3) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d2 (.f64 d1 d3)))))) (2))) (((/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 d3) (.f64 d1 d2))) (2))) (((/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2))) (neg.f64 (.f64 d1 (-.f64 d2 d3)))) (2))) (((/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3))) (neg.f64 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))))) (2))) (((pow.f64 (.f64 d1 (+.f64 d2 d3)) 1) (2))) (((pow.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) 2) (2))) (((pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 3) (2))) (((pow.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 3) 1/3) (2))) (((sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (2))) (((log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))) (2))) (((log.f64 (+.f64 1 (expm1.f64 (.f64 d1 (+.f64 d2 d3))))) (2))) (((cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 3)) (2))) (((expm1.f64 (log1p.f64 (.f64 d1 (+.f64 d2 d3)))) (2))) (((exp.f64 (log.f64 (.f64 d1 (+.f64 d2 d3)))) (2))) (((exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) 1)) (2))) (((log1p.f64 (expm1.f64 (.f64 d1 (+.f64 d2 d3)))) (2))) (((fma.f64 d1 d2 (.f64 d1 d3)) (2))) (((fma.f64 d1 d3 (.f64 d1 d2)) (2))) (((fma.f64 d2 d1 (.f64 d1 d3)) (2))) (((fma.f64 d3 d1 (.f64 d1 d2)) (2))) (((fma.f64 1 (.f64 d1 d2) (.f64 d1 d3)) (2))) (((fma.f64 1 (.f64 d1 d3) (.f64 d1 d2)) (2))) (((fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (.f64 d1 d3)) (2))) (((fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (.f64 d1 d2)) (2))) (((fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (cbrt.f64 (.f64 d1 d2)) (.f64 d1 d3)) (2))) (((fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) 2) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2)) (2))))

Outputs

((((-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) 1) (2))) (((-.f64 (/.f64 (pow.f64 (*.f64 d1 d2) 2) (*.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (*.f64 d1 d3) 2) (*.f64 d1 (-.f64 d2 d3)))) (2))) (((*.f64 d1 (+.f64 d2 d3)) (2))) (((*.f64 (*.f64 d1 (+.f64 d2 d3)) 1) (2))) (((*.f64 1 (*.f64 d1 (+.f64 d2 d3))) (2))) (((*.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))) (2))) (((*.f64 (sqrt.f64 d1) (*.f64 (sqrt.f64 d1) (+.f64 d2 d3))) (2))) (((*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2)) (2))) (((*.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) (2))) (((*.f64 (pow.f64 (cbrt.f64 d1) 2) (*.f64 (cbrt.f64 d1) (+.f64 d2 d3))) (2))) (((*.f64 (+.f64 d2 d3) d1) (2))) (((*.f64 (-.f64 (pow.f64 (*.f64 d1 d2) 2) (pow.f64 (*.f64 d1 d3) 2)) (/.f64 1 (*.f64 d1 (-.f64 d2 d3)))) (2))) (((*.f64 (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 d3) 3)) (/.f64 1 (+.f64 (pow.f64 (*.f64 d1 d2) 2) (*.f64 (*.f64 d1 d3) (-.f64 (*.f64 d1 d3) (*.f64 d1 d2)))))) (2))) (((/.f64 1 (/.f64 (*.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (*.f64 d1 d2) 2) (pow.f64 (*.f64 d1 d3) 2)))) (2))) (((/.f64 1 (/.f64 (+.f64 (pow.f64 (*.f64 d1 d2) 2) (*.f64 (*.f64 d1 d3) (-.f64 (*.f64 d1 d3) (*.f64 d1 d2)))) (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 d3) 3)))) (2))) (((/.f64 (-.f64 (pow.f64 (*.f64 d1 d2) 2) (pow.f64 (*.f64 d1 d3) 2)) (*.f64 d1 (-.f64 d2 d3))) (2))) (((/.f64 (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 d3) 3)) (+.f64 (pow.f64 (*.f64 d1 d2) 2) (*.f64 (*.f64 d1 d3) (-.f64 (*.f64 d1 d3) (*.f64 d1 d2))))) (2))) (((/.f64 (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 d3) 3)) (+.f64 (pow.f64 (*.f64 d1 d3) 2) (-.f64 (pow.f64 (*.f64 d1 d2) 2) (*.f64 d1 (*.f64 d2 (*.f64 d1 d3)))))) (2))) (((/.f64 (-.f64 (pow.f64 (*.f64 d1 d3) 2) (pow.f64 (*.f64 d1 d2) 2)) (-.f64 (*.f64 d1 d3) (*.f64 d1 d2))) (2))) (((/.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 d1 d2) 2) (pow.f64 (*.f64 d1 d3) 2))) (neg.f64 (*.f64 d1 (-.f64 d2 d3)))) (2))) (((/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 d3) 3))) (neg.f64 (+.f64 (pow.f64 (*.f64 d1 d2) 2) (*.f64 (*.f64 d1 d3) (-.f64 (*.f64 d1 d3) (*.f64 d1 d2)))))) (2))) (((pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1) (2))) (((pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2) (2))) (((pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3) (2))) (((pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3) (2))) (((sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2)) (2))) (((log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))) (2))) (((log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))) (2))) (((cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3)) (2))) (((expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) (2))) (((exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3)))) (2))) (((exp.f64 (*.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))) 1)) (2))) (((log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))) (2))) (((fma.f64 d1 d2 (*.f64 d1 d3)) (2))) (((fma.f64 d1 d3 (*.f64 d1 d2)) (2))) (((fma.f64 d2 d1 (*.f64 d1 d3)) (2))) (((fma.f64 d3 d1 (*.f64 d1 d2)) (2))) (((fma.f64 1 (*.f64 d1 d2) (*.f64 d1 d3)) (2))) (((fma.f64 1 (*.f64 d1 d3) (*.f64 d1 d2)) (2))) (((fma.f64 (sqrt.f64 (*.f64 d1 d2)) (sqrt.f64 (*.f64 d1 d2)) (*.f64 d1 d3)) (2))) (((fma.f64 (sqrt.f64 (*.f64 d1 d3)) (sqrt.f64 (*.f64 d1 d3)) (*.f64 d1 d2)) (2))) (((fma.f64 (pow.f64 (cbrt.f64 (*.f64 d1 d2)) 2) (cbrt.f64 (*.f64 d1 d2)) (*.f64 d1 d3)) (2))) (((fma.f64 (pow.f64 (cbrt.f64 (*.f64 d1 d3)) 2) (cbrt.f64 (*.f64 d1 d3)) (*.f64 d1 d2)) (2))))

simplify103.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

1146×	`associate-+r+`
1104×	`times-frac`
992×	`associate-+l+`
544×	`associate-/l*`
522×	`unswap-sqr`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	115	1567
1	318	1517
2	1288	1517
3	5772	1517

Stop Event

1×	node limit

Counts

79 → 51

Calls

Call 1

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

Outputs
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) 1)
(*.f64 d1 (+.f64 d2 d3))
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 d1 (+.f64 d2 d3)) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d1 (-.f64 d3 d2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d2 d3))
(.f64 1 (.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) 2) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d2 d3))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)) (/.f64 1 (.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 d1 (+.f64 d2 d3)) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d1 (-.f64 d3 d2))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (/.f64 1 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2))))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) 1) (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d3 (*.f64 d1 (-.f64 d3 d2))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (*.f64 d1 d2) 2)))
(/.f64 1 (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (*.f64 d1 d3) 2))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 d1 (+.f64 d2 d3)) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d1 (-.f64 d3 d2))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))) (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (*.f64 d1 d3) 3))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) 1) (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d3 (*.f64 d1 (-.f64 d3 d2))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (*.f64 d1 d2) 2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 d1 (+.f64 d2 d3)) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d1 (-.f64 d3 d2))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (*.f64 d1 d2)))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) 1) (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d3 (*.f64 d1 (-.f64 d3 d2))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (*.f64 d1 d2) 2)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (pow.f64 (.f64 d1 d3) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) 1) (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d3 (*.f64 d1 (-.f64 d3 d2))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (*.f64 d1 d2) 2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 d1 (+.f64 d2 d3)) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d1 (-.f64 d3 d2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 d1 (+.f64 d2 d3)) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d1 (-.f64 d3 d2))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3))) (neg.f64 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (*.f64 d1 d2))))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) 1) (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (.f64 d3 (*.f64 d1 (-.f64 d3 d2))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (*.f64 d1 d2) 2)))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d2 d3))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) 2)
(*.f64 d1 (+.f64 d2 d3))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3)
(*.f64 d1 (+.f64 d2 d3))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)
(*.f64 d1 (+.f64 d2 d3))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))
(*.f64 d1 (+.f64 d2 d3))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(*.f64 d1 (+.f64 d2 d3))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3))
(*.f64 d1 (+.f64 d2 d3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) 1))
(*.f64 d1 (+.f64 d2 d3))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 d1 d2 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 1 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) 2) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))

eval15.0ms (0.6%)

Compiler: Compiled 1079 to 347 computations (67.8% saved)

prune36.0ms (1.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	84	4	88

Error

100.0%

Counts

88 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	100.0%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	49.4%	(*.f64 d2 d1)
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	54.4%	(*.f64 d1 d3)

Compiler

Compiled 30 to 19 computations (36.7% saved)

localize3.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

localize4.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune2.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Error

100.0%

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	100.0%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	49.4%	(*.f64 d2 d1)
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	54.4%	(*.f64 d1 d3)

Compiler

Compiled 30 to 19 computations (36.7% saved)

regimes61.0ms (2.5%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 d1 d3)
(*.f64 d2 d1)
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
(*.f64 d1 (+.f64 d2 d3))

Calls

4 calls:

48.0ms	d3
4.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
4.0ms	d2
4.0ms	d1

Results

Error	Segments	Branch
100.0%	1	`d1`
100.0%	1	`d2`
100.0%	1	`d3`
100.0%	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 43 to 24 computations (44.2% saved)

regimes69.0ms (2.9%)

Accuracy

Total -51.0b remaining (-551.1%)

Threshold costs -51.00b (-551.1%)

Counts

2 → 2

Calls

Call 1

Inputs
(*.f64 d1 d3)
(*.f64 d2 d1)

Outputs
(*.f64 d2 d1)
(*.f64 d1 d3)

Calls

3 calls:

48.0ms	d1
14.0ms	d2
6.0ms	d3

Results

Error	Segments	Branch
67.2%	9	`d1`
84.9%	4	`d2`
85.5%	2	`d3`

Compiler

Compiled 21 to 14 computations (33.3% saved)

bsearch51.0ms (2.1%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
51.0ms	4.5033716572279616e-188	4.476693327879563e-176

Results

50.0ms

160×

body

256

valid

Compiler

Compiled 156 to 111 computations (28.8% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative`
2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	43
1	19	43

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(*.f64 d1 (+.f64 d2 d3))

(if (<=.f64 d3 3136677924615259/71288134650346800291268306339067051951456695425758748915299883092176174487635584164154887676833928121541286087087412614229511011271491218722697833120659596691437416786879139845044909253853184) (*.f64 d2 d1) (*.f64 d1 d3))

(*.f64 d1 d3)

Outputs
(*.f64 d1 (+.f64 d2 d3))
(if (<=.f64 d3 3136677924615259/71288134650346800291268306339067051951456695425758748915299883092176174487635584164154887676833928121541286087087412614229511011271491218722697833120659596691437416786879139845044909253853184) (.f64 d2 d1) (.f64 d1 d3))
(if (<=.f64 d3 3136677924615259/71288134650346800291268306339067051951456695425758748915299883092176174487635584164154887676833928121541286087087412614229511011271491218722697833120659596691437416786879139845044909253853184) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d3)

Compiler

Compiled 27 to 17 computations (37% saved)

soundness17.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

8×	`fma-def`
6×	`*-commutative`
4×	`+-commutative`
2×	`distribute-lft-out`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	15	13
2	20	13

Stop Event

1×

saturated

Compiler

Compiled 15 to 8 computations (46.7% saved)

end21.0ms (0.9%)

Remove: (sort d2 d3)
Compiler: Compiled 37 to 20 computations (45.9% saved)

Details

analyze272.0ms (11.4%)

sample1.5s (61%)

preprocess5.0ms (0.2%)

simplify13.0ms (0.5%)

eval1.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.2%)

series3.0ms (0.1%)

rewrite58.0ms (2.4%)

simplify89.0ms (3.7%)

localize34.0ms (1.4%)

series3.0ms (0.1%)

rewrite61.0ms (2.6%)

simplify103.0ms (4.3%)

eval15.0ms (0.6%)

prune36.0ms (1.5%)

localize3.0ms (0.1%)

localize4.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes61.0ms (2.5%)

regimes69.0ms (2.9%)

bsearch51.0ms (2.1%)

simplify5.0ms (0.2%)

soundness17.0ms (0.7%)

end21.0ms (0.9%)

Profiling