FastMath test5

Time bar (total: 3.0s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 21 to 10 computations (52.4% saved)

sample999.0ms (32.9%)

Results
578.0ms4583×256valid
412.0ms3673×256infinite
Bogosity

preprocess237.0ms (7.8%)

Algorithm
1×egg-herbie
Rules
1524×unswap-sqr
1114×fma-def
900×fma-neg
862×cancel-sign-sub-inv
612×distribute-lft-neg-out
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(*.f64 d1 d1)
00-0-(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1))
00-0-(*.f64 d1 (*.f64 d1 d1))
00-0-d1
00-0-(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
00-0-(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
00-0-(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
00-0-(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
00-0-(*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
024264
186176
2329104
391944
4189744
5476444
6657444
7756044
8795444
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 (neg.f64 d1) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1))
(neg.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1)))
Outputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(*.f64 d1 (*.f64 d1 (*.f64 (pow.f64 d1 4) (pow.f64 d1 4))))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(*.f64 d1 (*.f64 d1 (*.f64 (pow.f64 d1 4) (pow.f64 d1 4))))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)
(*.f64 (*.f64 (neg.f64 d1) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1))
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(*.f64 d1 (*.f64 d1 (*.f64 (pow.f64 d1 4) (pow.f64 d1 4))))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)
(neg.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1)))
(*.f64 (*.f64 (neg.f64 d1) (*.f64 (*.f64 (pow.f64 (neg.f64 d1) 3) (*.f64 d1 d1)) (pow.f64 (neg.f64 d1) 3))) (neg.f64 (neg.f64 d1)))
(*.f64 d1 (*.f64 (neg.f64 d1) (*.f64 (pow.f64 d1 4) (pow.f64 d1 4))))
(*.f64 (pow.f64 d1 4) (neg.f64 (pow.f64 d1 6)))
(neg.f64 (pow.f64 d1 10))
Symmetry

(abs d1)

Compiler

Compiled 202 to 29 computations (85.6% saved)

eval1.0ms (0%)

Compiler

Compiled 37 to 24 computations (35.1% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(pow.f64 d1 10)
▶99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 24 to 12 computations (50% saved)

localize690.0ms (22.7%)

Algorithm
2×egg-herbie
Localize:

Found 7 expressions with local error:

NewAccuracyProgram
✓100.0%
(pow.f64 d1 10)
✓100.0%
d1
✓100.0%
10
✓99.9%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓99.9%
(*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
✓99.9%
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
✓99.9%
(*.f64 d1 (*.f64 d1 d1))
Rules
3406×sqr-pow
2166×sqr-pow
1708×unswap-sqr
1566×cube-prod
1472×cube-prod
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
013264
129183
261120
311984
443884
5161484
6317984
7333084
8356384
9385884
10424284
11474184
12537584
13610784
14655284
15691684
16727384
17761184
18786784
0715
11215
21715
32615
44815
513715
650515
7116615
8125315
9138315
10154015
11177315
12208415
13248915
14297015
15353715
16421715
17448815
18472815
19490815
20503615
21510615
22602015
23698715
24737115
25767515
26788515
27790515
28790515
Stop Event
1×node limit
1×node limit
Calls
Call 1
Inputs
(pow.f64 d1 10)
d1
10
Outputs
(pow.f64 d1 10)
d1
10
Call 2
Inputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1))
d1
(*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(*.f64 (*.f64 d1 d1) (*.f64 (pow.f64 d1 4) (pow.f64 d1 4)))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1))
(*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3))))
(*.f64 d1 (*.f64 (pow.f64 d1 4) (pow.f64 d1 4)))
(*.f64 d1 (pow.f64 d1 8))
(pow.f64 d1 9)
d1
(*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))
(*.f64 (pow.f64 d1 4) (pow.f64 d1 4))
(pow.f64 d1 8)
(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
(*.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3))
(*.f64 (pow.f64 d1 3) (pow.f64 d1 4))
(*.f64 d1 (pow.f64 d1 6))
(pow.f64 d1 7)
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
(*.f64 d1 (*.f64 d1 (pow.f64 d1 3)))
(*.f64 d1 (pow.f64 d1 4))
(pow.f64 d1 5)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (pow.f64 d1 3))
(pow.f64 d1 4)
(*.f64 d1 (*.f64 d1 d1))
(pow.f64 d1 3)
(*.f64 d1 d1)
(pow.f64 d1 2)
Compiler

Compiled 96 to 13 computations (86.5% saved)

series6.0ms (0.2%)

Counts
7 → 48
Calls

18 calls:

TimeVariablePointExpression
1.0ms
d1
@-inf
(pow.f64 d1 10)
1.0ms
d1
@inf
(pow.f64 d1 10)
1.0ms
d1
@0
(pow.f64 d1 10)
0.0ms
d1
@-inf
(*.f64 d1 (*.f64 d1 d1))
0.0ms
d1
@0
(*.f64 d1 (*.f64 d1 d1))

rewrite300.0ms (9.9%)

Algorithm
1×batch-egg-rewrite
Rules
844×log-prod
694×pow-prod-down
590×pow-unpow
580×log1p-expm1-u
580×expm1-log1p-u
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
013109
117861
2202855
Stop Event
1×node limit
Counts
7 → 199
Calls
Call 1
Inputs
(*.f64 d1 (*.f64 d1 d1))
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
(*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
10
d1
(pow.f64 d1 10)
Outputs
(+.f64 0 (pow.f64 d1 3))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 3))) 1)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 2) 3/2)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 (pow.f64 d1 9) 1/3)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 (sqrt.f64 d1) 6)
(sqrt.f64 (pow.f64 d1 6))
(log.f64 (exp.f64 (pow.f64 d1 3)))
(cbrt.f64 (pow.f64 d1 9))
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(exp.f64 (*.f64 3 (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 d1)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 3))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 3) 1))
(exp.f64 (*.f64 (*.f64 (*.f64 3 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3))
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(+.f64 0 (pow.f64 d1 5))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 5))) 1)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 2) 5/2)
(pow.f64 (pow.f64 d1 3) 5/3)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 10) 3/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 5) 3)
(pow.f64 (cbrt.f64 d1) 15)
(pow.f64 (pow.f64 d1 30) 1/6)
(pow.f64 (pow.f64 d1 15) 1/3)
(pow.f64 (pow.f64 d1 5/2) 2)
(pow.f64 (sqrt.f64 d1) 10)
(pow.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 9)) 1/3)
(sqrt.f64 (pow.f64 d1 10))
(fabs.f64 (pow.f64 d1 5))
(log.f64 (exp.f64 (pow.f64 d1 5)))
(cbrt.f64 (pow.f64 d1 15))
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(exp.f64 (*.f64 5 (log.f64 d1)))
(exp.f64 (*.f64 (*.f64 5 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 5))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 5))
(exp.f64 (*.f64 (*.f64 (*.f64 5 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 5) 1))
(exp.f64 (*.f64 (*.f64 10 (log.f64 d1)) 1/2))
(exp.f64 (*.f64 (*.f64 (*.f64 10 (log.f64 d1)) 1) 1/2))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 5)) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 15)) 1/3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 5/2)) 2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 d1)) 10))
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(+.f64 0 (pow.f64 d1 8))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 8))) 1)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 2) 4)
(pow.f64 (pow.f64 d1 4) 2)
(pow.f64 (pow.f64 d1 8) 1)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 6)
(pow.f64 (pow.f64 d1 6) 4/3)
(pow.f64 (pow.f64 d1 16) 1/2)
(pow.f64 (pow.f64 (pow.f64 d1 12) 2) 1/3)
(pow.f64 (pow.f64 d1 12) 2/3)
(pow.f64 (*.f64 d1 (pow.f64 (cbrt.f64 d1) 5)) 3)
(pow.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 15)) 1/3)
(sqrt.f64 (pow.f64 d1 16))
(log.f64 (exp.f64 (pow.f64 d1 8)))
(cbrt.f64 (pow.f64 (pow.f64 d1 12) 2))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (log.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1))
(exp.f64 (*.f64 (*.f64 4 (log.f64 d1)) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 d1)) 1) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 8))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (pow.f64 d1 12) 2)) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(+.f64 0 (pow.f64 d1 4))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 4))) 1)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 2) 2)
(pow.f64 (pow.f64 d1 3) 4/3)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(pow.f64 (cbrt.f64 d1) 12)
(pow.f64 (pow.f64 d1 6) 2/3)
(pow.f64 (pow.f64 (pow.f64 d1 12) 2) 1/6)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 (sqrt.f64 d1) 8)
(sqrt.f64 (pow.f64 d1 8))
(fabs.f64 (pow.f64 d1 4))
(log.f64 (exp.f64 (pow.f64 d1 4)))
(cbrt.f64 (pow.f64 d1 12))
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(exp.f64 (*.f64 4 (log.f64 d1)))
(exp.f64 (*.f64 (*.f64 4 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 4))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 4))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 2) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 1) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1/2))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1) 1/2))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 4)) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 12)) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(+.f64 0 d1)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 d1)) 2)) (log.f64 (cbrt.f64 (exp.f64 d1))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 d1))) (log.f64 (sqrt.f64 (exp.f64 d1))))
(-.f64 (exp.f64 (log1p.f64 d1)) 1)
(*.f64 d1 1)
(*.f64 d1 (log.f64 (exp.f64 1)))
(*.f64 1 d1)
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 d1))
(*.f64 (cbrt.f64 d1) (pow.f64 (cbrt.f64 d1) 2))
(*.f64 (sqrt.f64 d1) (sqrt.f64 d1))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (sqrt.f64 (pow.f64 (cbrt.f64 d1) 2)))
(pow.f64 d1 1)
(pow.f64 (pow.f64 d1 2) 1/2)
(pow.f64 (pow.f64 d1 3) 1/3)
(pow.f64 (pow.f64 d1 4) 1/4)
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 3/2)
(pow.f64 (cbrt.f64 d1) 3)
(pow.f64 (pow.f64 d1 6) 1/6)
(pow.f64 (pow.f64 d1 9) 1/9)
(pow.f64 (pow.f64 d1 3/2) 2/3)
(pow.f64 (sqrt.f64 d1) 2)
(sqrt.f64 (pow.f64 d1 2))
(fabs.f64 d1)
(log.f64 (exp.f64 d1))
(cbrt.f64 (pow.f64 d1 3))
(expm1.f64 (log1p.f64 d1))
(exp.f64 (log.f64 d1))
(exp.f64 (*.f64 (log.f64 d1) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 1/2))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 2) 1/2))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 1) 1/2))
(exp.f64 (*.f64 (*.f64 3 (log.f64 d1)) 1/3))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 3) 1/3))
(exp.f64 (*.f64 (*.f64 (*.f64 3 (log.f64 d1)) 1) 1/3))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 d1)) 3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 d1)) 2))
(log1p.f64 (expm1.f64 d1))
(+.f64 0 (pow.f64 d1 10))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 10))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 10)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 10)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 10)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 10))) 1)
(*.f64 d1 (pow.f64 d1 9))
(*.f64 (pow.f64 d1 2) (pow.f64 d1 8))
(*.f64 (pow.f64 d1 3) (pow.f64 d1 7))
(*.f64 (pow.f64 d1 4) (pow.f64 d1 6))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(*.f64 (pow.f64 d1 8) (pow.f64 d1 2))
(*.f64 (pow.f64 d1 10) 1)
(*.f64 (pow.f64 d1 10) (log.f64 (exp.f64 1)))
(*.f64 1 (pow.f64 d1 10))
(*.f64 (pow.f64 (cbrt.f64 d1) 10) (cbrt.f64 (pow.f64 d1 20)))
(*.f64 (cbrt.f64 (pow.f64 d1 20)) (pow.f64 (cbrt.f64 d1) 10))
(*.f64 (pow.f64 d1 6) (pow.f64 d1 4))
(*.f64 (pow.f64 d1 9) d1)
(*.f64 (pow.f64 d1 5/2) (sqrt.f64 (pow.f64 d1 15)))
(*.f64 (sqrt.f64 (pow.f64 d1 15)) (pow.f64 d1 5/2))
(*.f64 (pow.f64 (pow.f64 d1 10) 5/6) (pow.f64 (cbrt.f64 d1) 5))
(*.f64 (pow.f64 (cbrt.f64 d1) 20) (pow.f64 (cbrt.f64 d1) 10))
(sqrt.f64 (pow.f64 d1 20))
(log.f64 (exp.f64 (pow.f64 d1 10)))
(cbrt.f64 (pow.f64 d1 30))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(exp.f64 (*.f64 10 (log.f64 d1)))
(exp.f64 (*.f64 (*.f64 10 (log.f64 d1)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 10))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 5))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 2) 5))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 1) 5))
(exp.f64 (*.f64 (*.f64 5 (log.f64 d1)) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 5 (log.f64 d1)) 1) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 5) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 10 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 10)) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 30)) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))

simplify110.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
1768×exp-prod
1090×log-prod
902×prod-exp
708×log-pow
544×sqr-pow
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
04014294970121
17962697
222842689
355782680
Stop Event
1×node limit
Counts
247 → 221
Calls
Call 1
Inputs
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(+.f64 0 (pow.f64 d1 3))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 3))) 1)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 2) 3/2)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 (pow.f64 d1 9) 1/3)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 (sqrt.f64 d1) 6)
(sqrt.f64 (pow.f64 d1 6))
(log.f64 (exp.f64 (pow.f64 d1 3)))
(cbrt.f64 (pow.f64 d1 9))
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(exp.f64 (*.f64 3 (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 d1)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 3))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 3) 1))
(exp.f64 (*.f64 (*.f64 (*.f64 3 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3))
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(+.f64 0 (pow.f64 d1 5))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 5))) 1)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 2) 5/2)
(pow.f64 (pow.f64 d1 3) 5/3)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 10) 3/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 5) 3)
(pow.f64 (cbrt.f64 d1) 15)
(pow.f64 (pow.f64 d1 30) 1/6)
(pow.f64 (pow.f64 d1 15) 1/3)
(pow.f64 (pow.f64 d1 5/2) 2)
(pow.f64 (sqrt.f64 d1) 10)
(pow.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 9)) 1/3)
(sqrt.f64 (pow.f64 d1 10))
(fabs.f64 (pow.f64 d1 5))
(log.f64 (exp.f64 (pow.f64 d1 5)))
(cbrt.f64 (pow.f64 d1 15))
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(exp.f64 (*.f64 5 (log.f64 d1)))
(exp.f64 (*.f64 (*.f64 5 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 5))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 5))
(exp.f64 (*.f64 (*.f64 (*.f64 5 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 5) 1))
(exp.f64 (*.f64 (*.f64 10 (log.f64 d1)) 1/2))
(exp.f64 (*.f64 (*.f64 (*.f64 10 (log.f64 d1)) 1) 1/2))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 5)) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 15)) 1/3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 5/2)) 2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 d1)) 10))
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(+.f64 0 (pow.f64 d1 8))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 8))) 1)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 2) 4)
(pow.f64 (pow.f64 d1 4) 2)
(pow.f64 (pow.f64 d1 8) 1)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 6)
(pow.f64 (pow.f64 d1 6) 4/3)
(pow.f64 (pow.f64 d1 16) 1/2)
(pow.f64 (pow.f64 (pow.f64 d1 12) 2) 1/3)
(pow.f64 (pow.f64 d1 12) 2/3)
(pow.f64 (*.f64 d1 (pow.f64 (cbrt.f64 d1) 5)) 3)
(pow.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 15)) 1/3)
(sqrt.f64 (pow.f64 d1 16))
(log.f64 (exp.f64 (pow.f64 d1 8)))
(cbrt.f64 (pow.f64 (pow.f64 d1 12) 2))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (log.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1))
(exp.f64 (*.f64 (*.f64 4 (log.f64 d1)) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 d1)) 1) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 8))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (pow.f64 d1 12) 2)) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(+.f64 0 (pow.f64 d1 4))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 4))) 1)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 2) 2)
(pow.f64 (pow.f64 d1 3) 4/3)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(pow.f64 (cbrt.f64 d1) 12)
(pow.f64 (pow.f64 d1 6) 2/3)
(pow.f64 (pow.f64 (pow.f64 d1 12) 2) 1/6)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 (sqrt.f64 d1) 8)
(sqrt.f64 (pow.f64 d1 8))
(fabs.f64 (pow.f64 d1 4))
(log.f64 (exp.f64 (pow.f64 d1 4)))
(cbrt.f64 (pow.f64 d1 12))
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(exp.f64 (*.f64 4 (log.f64 d1)))
(exp.f64 (*.f64 (*.f64 4 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 4))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 4))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 2) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 1) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1/2))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1) 1/2))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 4)) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 12)) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(+.f64 0 d1)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 d1)) 2)) (log.f64 (cbrt.f64 (exp.f64 d1))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 d1))) (log.f64 (sqrt.f64 (exp.f64 d1))))
(-.f64 (exp.f64 (log1p.f64 d1)) 1)
(*.f64 d1 1)
(*.f64 d1 (log.f64 (exp.f64 1)))
(*.f64 1 d1)
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 d1))
(*.f64 (cbrt.f64 d1) (pow.f64 (cbrt.f64 d1) 2))
(*.f64 (sqrt.f64 d1) (sqrt.f64 d1))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (sqrt.f64 (pow.f64 (cbrt.f64 d1) 2)))
(pow.f64 d1 1)
(pow.f64 (pow.f64 d1 2) 1/2)
(pow.f64 (pow.f64 d1 3) 1/3)
(pow.f64 (pow.f64 d1 4) 1/4)
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 3/2)
(pow.f64 (cbrt.f64 d1) 3)
(pow.f64 (pow.f64 d1 6) 1/6)
(pow.f64 (pow.f64 d1 9) 1/9)
(pow.f64 (pow.f64 d1 3/2) 2/3)
(pow.f64 (sqrt.f64 d1) 2)
(sqrt.f64 (pow.f64 d1 2))
(fabs.f64 d1)
(log.f64 (exp.f64 d1))
(cbrt.f64 (pow.f64 d1 3))
(expm1.f64 (log1p.f64 d1))
(exp.f64 (log.f64 d1))
(exp.f64 (*.f64 (log.f64 d1) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 1/2))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 2) 1/2))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 1) 1/2))
(exp.f64 (*.f64 (*.f64 3 (log.f64 d1)) 1/3))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 3) 1/3))
(exp.f64 (*.f64 (*.f64 (*.f64 3 (log.f64 d1)) 1) 1/3))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 d1)) 3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 d1)) 2))
(log1p.f64 (expm1.f64 d1))
(+.f64 0 (pow.f64 d1 10))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 10))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 10)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 10)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 10)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 10))) 1)
(*.f64 d1 (pow.f64 d1 9))
(*.f64 (pow.f64 d1 2) (pow.f64 d1 8))
(*.f64 (pow.f64 d1 3) (pow.f64 d1 7))
(*.f64 (pow.f64 d1 4) (pow.f64 d1 6))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(*.f64 (pow.f64 d1 8) (pow.f64 d1 2))
(*.f64 (pow.f64 d1 10) 1)
(*.f64 (pow.f64 d1 10) (log.f64 (exp.f64 1)))
(*.f64 1 (pow.f64 d1 10))
(*.f64 (pow.f64 (cbrt.f64 d1) 10) (cbrt.f64 (pow.f64 d1 20)))
(*.f64 (cbrt.f64 (pow.f64 d1 20)) (pow.f64 (cbrt.f64 d1) 10))
(*.f64 (pow.f64 d1 6) (pow.f64 d1 4))
(*.f64 (pow.f64 d1 9) d1)
(*.f64 (pow.f64 d1 5/2) (sqrt.f64 (pow.f64 d1 15)))
(*.f64 (sqrt.f64 (pow.f64 d1 15)) (pow.f64 d1 5/2))
(*.f64 (pow.f64 (pow.f64 d1 10) 5/6) (pow.f64 (cbrt.f64 d1) 5))
(*.f64 (pow.f64 (cbrt.f64 d1) 20) (pow.f64 (cbrt.f64 d1) 10))
(sqrt.f64 (pow.f64 d1 20))
(log.f64 (exp.f64 (pow.f64 d1 10)))
(cbrt.f64 (pow.f64 d1 30))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(exp.f64 (*.f64 10 (log.f64 d1)))
(exp.f64 (*.f64 (*.f64 10 (log.f64 d1)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 10))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 5))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 2) 5))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 1) 5))
(exp.f64 (*.f64 (*.f64 5 (log.f64 d1)) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 5 (log.f64 d1)) 1) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 5) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 10 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 10)) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 30)) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
Outputs
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(+.f64 0 (pow.f64 d1 3))
(pow.f64 d1 3)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 3))) 1)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 2) 3/2)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 d1 3)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 9) 1/3)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 d1 3)
(pow.f64 (sqrt.f64 d1) 6)
(pow.f64 d1 3)
(sqrt.f64 (pow.f64 d1 6))
(pow.f64 d1 3)
(log.f64 (exp.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(cbrt.f64 (pow.f64 d1 9))
(pow.f64 d1 3)
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(exp.f64 (*.f64 3 (log.f64 d1)))
(pow.f64 d1 3)
(exp.f64 (*.f64 (log.f64 d1) 3))
(pow.f64 d1 3)
(exp.f64 (*.f64 (*.f64 3 (log.f64 d1)) 1))
(pow.f64 d1 3)
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 3))
(pow.f64 d1 3)
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 3) 1))
(pow.f64 d1 3)
(exp.f64 (*.f64 (*.f64 (*.f64 3 (log.f64 d1)) 1) 1))
(pow.f64 d1 3)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3))
(pow.f64 d1 3)
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2))
(pow.f64 d1 3)
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(+.f64 0 (pow.f64 d1 5))
(pow.f64 d1 5)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 5))) 1)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 2) 5/2)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 3) 5/3)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 d1 5)
(pow.f64 (pow.f64 (cbrt.f64 d1) 10) 3/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 5) 3)
(pow.f64 d1 5)
(pow.f64 (cbrt.f64 d1) 15)
(pow.f64 (pow.f64 d1 30) 1/6)
(pow.f64 (pow.f64 d1 15) 1/3)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 5/2) 2)
(pow.f64 d1 5)
(pow.f64 (sqrt.f64 d1) 10)
(pow.f64 d1 5)
(pow.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 9)) 1/3)
(cbrt.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 9)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 d1 12)))
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 5))
(sqrt.f64 (pow.f64 d1 10))
(pow.f64 d1 5)
(fabs.f64 (pow.f64 d1 5))
(pow.f64 d1 5)
(log.f64 (exp.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(cbrt.f64 (pow.f64 d1 15))
(pow.f64 d1 5)
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(exp.f64 (*.f64 5 (log.f64 d1)))
(pow.f64 d1 5)
(exp.f64 (*.f64 (*.f64 5 (log.f64 d1)) 1))
(pow.f64 d1 5)
(exp.f64 (*.f64 (log.f64 d1) 5))
(pow.f64 d1 5)
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 5))
(pow.f64 d1 5)
(exp.f64 (*.f64 (*.f64 (*.f64 5 (log.f64 d1)) 1) 1))
(pow.f64 d1 5)
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 5) 1))
(pow.f64 d1 5)
(exp.f64 (*.f64 (*.f64 10 (log.f64 d1)) 1/2))
(pow.f64 d1 5)
(exp.f64 (*.f64 (*.f64 (*.f64 10 (log.f64 d1)) 1) 1/2))
(pow.f64 d1 5)
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 5)) 3))
(pow.f64 d1 5)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 15)) 1/3))
(pow.f64 d1 5)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 5/2)) 2))
(pow.f64 d1 5)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 d1)) 10))
(pow.f64 d1 5)
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(+.f64 0 (pow.f64 d1 8))
(pow.f64 d1 8)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 8))) 1)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 2) 4)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 4) 2)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 8) 1)
(pow.f64 d1 8)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3)
(pow.f64 d1 8)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 6)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 6) 4/3)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 16) 1/2)
(pow.f64 d1 8)
(pow.f64 (pow.f64 (pow.f64 d1 12) 2) 1/3)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 12) 2/3)
(pow.f64 d1 8)
(pow.f64 (*.f64 d1 (pow.f64 (cbrt.f64 d1) 5)) 3)
(pow.f64 d1 8)
(pow.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 15)) 1/3)
(cbrt.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 15)))
(sqrt.f64 (pow.f64 d1 16))
(pow.f64 d1 8)
(log.f64 (exp.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(cbrt.f64 (pow.f64 (pow.f64 d1 12) 2))
(pow.f64 d1 8)
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(exp.f64 (log.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1))
(pow.f64 d1 8)
(exp.f64 (*.f64 (*.f64 4 (log.f64 d1)) 2))
(pow.f64 d1 8)
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 d1)) 1) 2))
(pow.f64 d1 8)
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1) 1))
(pow.f64 d1 8)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 8))) 3))
(pow.f64 d1 8)
(exp.f64 (*.f64 (log.f64 (pow.f64 (pow.f64 d1 12) 2)) 1/3))
(pow.f64 d1 8)
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(+.f64 0 (pow.f64 d1 4))
(pow.f64 d1 4)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 4))) 1)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 2) 2)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 3) 4/3)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6)
(pow.f64 d1 4)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3/2)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(pow.f64 d1 4)
(pow.f64 (cbrt.f64 d1) 12)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 6) 2/3)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (pow.f64 d1 12) 2) 1/6)
(pow.f64 (pow.f64 d1 24) 1/6)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 d1 4)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 d1 4)
(sqrt.f64 (pow.f64 d1 8))
(pow.f64 d1 4)
(fabs.f64 (pow.f64 d1 4))
(pow.f64 d1 4)
(log.f64 (exp.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(cbrt.f64 (pow.f64 d1 12))
(pow.f64 d1 4)
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(exp.f64 (*.f64 4 (log.f64 d1)))
(pow.f64 d1 4)
(exp.f64 (*.f64 (*.f64 4 (log.f64 d1)) 1))
(pow.f64 d1 4)
(exp.f64 (*.f64 (log.f64 d1) 4))
(pow.f64 d1 4)
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 4))
(pow.f64 d1 4)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 2))
(pow.f64 d1 4)
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 2) 2))
(pow.f64 d1 4)
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 1) 2))
(pow.f64 d1 4)
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 d1)) 1) 1))
(pow.f64 d1 4)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1/2))
(pow.f64 d1 4)
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1) 1/2))
(pow.f64 d1 4)
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 4)) 3))
(pow.f64 d1 4)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 12)) 1/3))
(pow.f64 d1 4)
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(+.f64 0 d1)
d1
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 d1)) 2)) (log.f64 (cbrt.f64 (exp.f64 d1))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 d1))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 d1))) (log.f64 (sqrt.f64 (exp.f64 d1))))
d1
(-.f64 (exp.f64 (log1p.f64 d1)) 1)
d1
(*.f64 d1 1)
d1
(*.f64 d1 (log.f64 (exp.f64 1)))
d1
(*.f64 1 d1)
d1
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 d1))
d1
(*.f64 (cbrt.f64 d1) (pow.f64 (cbrt.f64 d1) 2))
d1
(*.f64 (sqrt.f64 d1) (sqrt.f64 d1))
d1
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (sqrt.f64 (pow.f64 (cbrt.f64 d1) 2)))
d1
(pow.f64 d1 1)
d1
(pow.f64 (pow.f64 d1 2) 1/2)
d1
(pow.f64 (pow.f64 d1 3) 1/3)
d1
(pow.f64 (pow.f64 d1 4) 1/4)
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 3/2)
(pow.f64 (cbrt.f64 d1) 3)
d1
(pow.f64 (pow.f64 d1 6) 1/6)
(pow.f64 (pow.f64 d1 9) 1/9)
(*.f64 (pow.f64 (pow.f64 d1 9) 1/18) (pow.f64 (pow.f64 d1 9) 1/18))
(pow.f64 (pow.f64 d1 3/2) 2/3)
(*.f64 (cbrt.f64 (pow.f64 d1 3/2)) (cbrt.f64 (pow.f64 d1 3/2)))
(pow.f64 (sqrt.f64 d1) 2)
d1
(sqrt.f64 (pow.f64 d1 2))
d1
(fabs.f64 d1)
d1
(log.f64 (exp.f64 d1))
d1
(cbrt.f64 (pow.f64 d1 3))
d1
(expm1.f64 (log1p.f64 d1))
d1
(exp.f64 (log.f64 d1))
d1
(exp.f64 (*.f64 (log.f64 d1) 1))
d1
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 1))
d1
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 1/2))
d1
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 2) 1/2))
d1
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 1) 1/2))
d1
(exp.f64 (*.f64 (*.f64 3 (log.f64 d1)) 1/3))
d1
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 3) 1/3))
d1
(exp.f64 (*.f64 (*.f64 (*.f64 3 (log.f64 d1)) 1) 1/3))
d1
(exp.f64 (*.f64 (log.f64 (cbrt.f64 d1)) 3))
d1
(exp.f64 (*.f64 (log.f64 (sqrt.f64 d1)) 2))
d1
(log1p.f64 (expm1.f64 d1))
d1
(+.f64 0 (pow.f64 d1 10))
(pow.f64 d1 10)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 10))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 10)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 10)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 10)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 10)))))
(pow.f64 d1 10)
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 10))) 1)
(pow.f64 d1 10)
(*.f64 d1 (pow.f64 d1 9))
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 2) (pow.f64 d1 8))
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 3) (pow.f64 d1 7))
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 4) (pow.f64 d1 6))
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 8) (pow.f64 d1 2))
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 10) 1)
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 10) (log.f64 (exp.f64 1)))
(pow.f64 d1 10)
(*.f64 1 (pow.f64 d1 10))
(pow.f64 d1 10)
(*.f64 (pow.f64 (cbrt.f64 d1) 10) (cbrt.f64 (pow.f64 d1 20)))
(*.f64 (cbrt.f64 (pow.f64 d1 20)) (pow.f64 (cbrt.f64 d1) 10))
(*.f64 (pow.f64 (cbrt.f64 d1) 10) (cbrt.f64 (pow.f64 d1 20)))
(*.f64 (pow.f64 d1 6) (pow.f64 d1 4))
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 9) d1)
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 5/2) (sqrt.f64 (pow.f64 d1 15)))
(*.f64 (pow.f64 d1 5/2) (pow.f64 d1 15/2))
(*.f64 (sqrt.f64 (pow.f64 d1 15)) (pow.f64 d1 5/2))
(*.f64 (pow.f64 d1 5/2) (sqrt.f64 (pow.f64 d1 15)))
(*.f64 (pow.f64 d1 5/2) (pow.f64 d1 15/2))
(*.f64 (pow.f64 (pow.f64 d1 10) 5/6) (pow.f64 (cbrt.f64 d1) 5))
(*.f64 (pow.f64 (cbrt.f64 d1) 5) (pow.f64 (pow.f64 d1 10) 5/6))
(*.f64 (pow.f64 (cbrt.f64 d1) 20) (pow.f64 (cbrt.f64 d1) 10))
(pow.f64 d1 10)
(sqrt.f64 (pow.f64 d1 20))
(pow.f64 d1 10)
(log.f64 (exp.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(cbrt.f64 (pow.f64 d1 30))
(pow.f64 d1 10)
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(exp.f64 (*.f64 10 (log.f64 d1)))
(pow.f64 d1 10)
(exp.f64 (*.f64 (*.f64 10 (log.f64 d1)) 1))
(pow.f64 d1 10)
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 10))
(pow.f64 d1 10)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 5))
(pow.f64 d1 10)
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 2) 5))
(pow.f64 d1 10)
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 2)) 1) 5))
(pow.f64 d1 10)
(exp.f64 (*.f64 (*.f64 5 (log.f64 d1)) 2))
(pow.f64 d1 10)
(exp.f64 (*.f64 (*.f64 (*.f64 5 (log.f64 d1)) 1) 2))
(pow.f64 d1 10)
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 5) 2))
(pow.f64 d1 10)
(exp.f64 (*.f64 (*.f64 (*.f64 10 (log.f64 d1)) 1) 1))
(pow.f64 d1 10)
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 10)) 3))
(pow.f64 d1 10)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 30)) 1/3))
(pow.f64 d1 10)
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)

eval258.0ms (8.5%)

Compiler

Compiled 12797 to 5165 computations (59.6% saved)

prune136.0ms (4.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New6410641
Fresh000
Picked022
Done000
Total6412643
Accuracy
100.0%
Counts
643 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(pow.f64 d1 10)
✓99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 47 to 23 computations (51.1% saved)

regimes5.0ms (0.2%)

Counts
2 → 1
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(pow.f64 d1 10)
Outputs
(pow.f64 d1 10)
Calls

2 calls:

3.0ms
d1
2.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Results
AccuracySegmentsBranch
100.0%1d1
100.0%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 22 to 10 computations (54.5% saved)

regimes5.0ms (0.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Calls

2 calls:

2.0ms
d1
2.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Results
AccuracySegmentsBranch
99.9%1d1
99.9%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 22 to 10 computations (54.5% saved)

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
14×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01595
12295
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(pow.f64 d1 10)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Outputs
(pow.f64 d1 10)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))))))
Compiler

Compiled 24 to 12 computations (50% saved)

soundness238.0ms (7.8%)

Rules
1524×unswap-sqr
1114×fma-def
900×fma-neg
862×cancel-sign-sub-inv
612×distribute-lft-neg-out
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
024264
186176
2329104
391944
4189744
5476444
6657444
7756044
8795444
Stop Event
1×node limit
Compiler

Compiled 218 to 31 computations (85.8% saved)

end0.0ms (0%)

preprocess43.0ms (1.4%)

Remove

(abs d1)

Compiler

Compiled 118 to 64 computations (45.8% saved)

Profiling

Loading profile data...