Details

Time bar (total: 2.3s)

analyze0.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 27 to 22 computations (18.5% saved)

sample1.8s (76.9%)

Results
1.8s8256×body256valid

preprocess31.0ms (1.3%)

Algorithm
2×egg-herbie
Rules
955×fma-def_binary64
377×sub-neg_binary64
267×distribute-neg-in_binary64
151×associate-+l-_binary64
151×associate--r+_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01226
13519
211517
335415
412737
536417
011
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(+.f64 (*.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 t 1/5000000000000000))))
Outputs
(+.f64 (*.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 t 1/5000000000000000))))
(fma.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 -1 (*.f64 -2 (*.f64 t 1/5000000000000000))))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (-.f64 -1 (*.f64 t 1/2500000000000000)))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (fma.f64 -1/2500000000000000 t -1))
(fma.f64 t -1/2500000000000000 (*.f64 (*.f64 t 1/5000000000000000) (fma.f64 t 1/5000000000000000 2)))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
Compiler

Compiled 20 to 17 computations (15% saved)

simplify22.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
955×fma-def_binary64
377×sub-neg_binary64
267×distribute-neg-in_binary64
151×associate-+l-_binary64
151×associate--r+_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01226
13519
211517
335415
412737
536417
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (*.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 t 1/5000000000000000))))
Outputs
(+.f64 (*.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000))) (-.f64 -1 (*.f64 2 (*.f64 t 1/5000000000000000))))
(fma.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 1 (*.f64 t 1/5000000000000000)) (+.f64 -1 (*.f64 -2 (*.f64 t 1/5000000000000000))))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (-.f64 -1 (*.f64 t 1/2500000000000000)))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (fma.f64 -1/2500000000000000 t -1))
(fma.f64 t -1/2500000000000000 (*.f64 (*.f64 t 1/5000000000000000) (fma.f64 t 1/5000000000000000 2)))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.4b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
Compiler

Compiled 37 to 28 computations (24.3% saved)

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
✓0.4b
(*.f64 t 1/25000000000000000000000000000000)

series3.0ms (0.1%)

Counts
2 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
t
@0
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
1.0ms
t
@-inf
(*.f64 t 1/25000000000000000000000000000000)
1.0ms
t
@0
(*.f64 t 1/25000000000000000000000000000000)
1.0ms
t
@inf
(*.f64 t 1/25000000000000000000000000000000)
0.0ms
t
@inf
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))

rewrite36.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
445×pow1_binary64
414×add-log-exp_binary64
414×log1p-expm1-u_binary64
414×expm1-log1p-u_binary64
406×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0511
110211
2114211
Stop Event
1×node limit
Counts
2 → 24
Calls
Call 1
Inputs
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 t 1/25000000000000000000000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/25000000000000000000000000000000) t))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 t 1/25000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 t 1/25000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 t 1/25000000000000000000000000000000)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 t (*.f64 t 1/25000000000000000000000000000000))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 t (*.f64 t 1/25000000000000000000000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 t (*.f64 t 1/25000000000000000000000000000000)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 t (*.f64 t 1/25000000000000000000000000000000))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 t 1/5000000000000000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 t (*.f64 t 1/25000000000000000000000000000000)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 t) (*.f64 t 1/25000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 t (*.f64 t 1/25000000000000000000000000000000)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 t 3) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3) (pow.f64 t 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 t (*.f64 t 1/25000000000000000000000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 t (*.f64 t 1/25000000000000000000000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 t (*.f64 t 1/25000000000000000000000000000000))))))))

simplify60.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
605×sqr-pow_binary64
441×associate-*l*_binary64
434×unswap-sqr_binary64
281×cube-prod_binary64
273×fabs-mul_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07132
114132
223132
342132
4105132
5315132
61204132
72080132
82244132
92428132
102636132
112925132
123318132
133796132
144359132
Stop Event
1×node limit
Counts
48 → 27
Calls
Call 1
Inputs
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
Outputs
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 1/25000000000000000000000000000000 t))

prune20.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New22527
Fresh000
Picked011
Done000
Total22628
Error
0.0b
Counts
28 → 6
Alt Table
StatusErrorProgram
0.6b
(*.f64 t (cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3)))
✓0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
0.7b
(*.f64 t (pow.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 2))
▶0.4b
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
0.6b
(cbrt.f64 (*.f64 (pow.f64 t 3) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3)))
0.5b
(pow.f64 (*.f64 t 1/5000000000000000) 2)
Compiler

Compiled 291 to 221 computations (24.1% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.4b
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))

series1.0ms (0%)

Counts
1 → 0
Calls

3 calls:

TimeVariablePointExpression
0.0ms
t
@inf
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
0.0ms
t
@0
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
0.0ms
t
@-inf
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))

rewrite29.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
477×pow1_binary64
445×add-log-exp_binary64
445×log1p-expm1-u_binary64
445×expm1-log1p-u_binary64
436×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11257
212687
Stop Event
1×node limit
Counts
1 → 11
Calls
Call 1
Inputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 1/25000000000000000000000000000000 (*.f64 t t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 t 1/5000000000000000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/25000000000000000000000000000000) (*.f64 t t)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t))))))))

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
Stop Event
1×saturated
Counts
11 → 11
Calls
Call 1
Inputs
Outputs

prune9.0ms (0.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New10111
Fresh224
Picked011
Done011
Total12517
Error
0.0b
Counts
17 → 5
Alt Table
StatusErrorProgram
0.6b
(*.f64 t (cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3)))
✓0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
0.6b
(cbrt.f64 (*.f64 (pow.f64 t 3) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3)))
▶0.2b
(sqrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000))
✓0.4b
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
Compiler

Compiled 147 to 106 computations (27.9% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(sqrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000))
✓0.3b
(*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)

series3.0ms (0.1%)

Counts
2 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
t
@inf
(*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)
1.0ms
t
@0
(*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)
0.0ms
t
@-inf
(*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)
0.0ms
t
@0
(sqrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000))
0.0ms
t
@inf
(sqrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000))

rewrite35.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
573×pow1_binary64
539×add-log-exp_binary64
539×log1p-expm1-u_binary64
539×expm1-log1p-u_binary64
526×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0716
114814
2155814
Stop Event
1×node limit
Counts
2 → 36
Calls
Call 1
Inputs
(*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)
(sqrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/390625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 8)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 1/390625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 8)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/625000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 4)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 t t) 1/25000000000000000000000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 t t) (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)) (cbrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/25000000000000000000000000000000 (*.f64 t t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (*.f64 1/390625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 8)))) (sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) (*.f64 t t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (*.f64 (*.f64 t t) 1/25000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 1/390625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 8))) 1/2) (pow.f64 (cbrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 t 1/5000000000000000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (*.f64 t t)) 1/25000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)))))))

simplify68.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
616×sqr-pow_binary64
396×associate-*l*_binary64
342×unswap-sqr_binary64
327×pow-sqr_binary64
298×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010168
119168
239168
390168
4285168
51158168
61908168
72032168
82201168
92400168
102673168
113032168
123483168
134005168
144635168
Stop Event
1×node limit
Counts
60 → 39
Calls
Call 1
Inputs
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
Outputs
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))

prune25.0ms (1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New38139
Fresh202
Picked011
Done022
Total40444
Error
0b
Counts
44 → 4
Alt Table
StatusErrorProgram
✓0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
▶0.6b
(*.f64 (*.f64 t t) (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2))
✓0.4b
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
✓0.2b
(sqrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000))
Compiler

Compiled 352 to 264 computations (25% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.4b
(*.f64 (*.f64 t t) (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2))
✓1.0b
(pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2)

series1.0ms (0%)

Counts
2 → 12
Calls

3 calls:

TimeVariablePointExpression
0.0ms
t
@0
(*.f64 (*.f64 t t) (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2))
0.0ms
t
@inf
(*.f64 (*.f64 t t) (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2))
0.0ms
t
@-inf
(*.f64 (*.f64 t t) (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2))

rewrite31.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
561×pow1_binary64
526×add-log-exp_binary64
526×log1p-expm1-u_binary64
526×expm1-log1p-u_binary64
515×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
11518
214988
Stop Event
1×node limit
Counts
2 → 12
Calls
Call 1
Inputs
(pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2)
(*.f64 (*.f64 t t) (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x . 1/25000000000000000000000000000000)))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 1/25000000000000000000000000000000 (*.f64 t t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 t 1/5000000000000000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 t) t) 1/25000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t))))))))

simplify55.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
607×sqr-pow_binary64
445×associate-*l*_binary64
434×unswap-sqr_binary64
281×cube-prod_binary64
273×fabs-mul_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0684
11284
22384
34484
410784
533684
6123784
7211384
8227784
9246184
10266984
11296084
12335384
13383384
14439684
Stop Event
1×node limit
Counts
24 → 14
Calls
Call 1
Inputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
Outputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (*.f64 t t))

prune7.0ms (0.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New14014
Fresh000
Picked011
Done033
Total14418
Error
0b
Counts
18 → 4
Alt Table
StatusErrorProgram
✓0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
✓0.6b
(*.f64 (*.f64 t t) (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2))
✓0.4b
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
✓0.2b
(sqrt.f64 (*.f64 (pow.f64 t 4) 1/625000000000000000000000000000000000000000000000000000000000000))
Compiler

Compiled 123 to 83 computations (32.5% saved)

regimes36.0ms (1.5%)

Accuracy

Total -0.8b remaining (-432.9%)

Threshold costs -0.8b (-432.9%)

Counts
17 → 1
Compiler

Compiled 167 to 131 computations (21.6% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
1911
Stop Event
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (sqrt.f64 (*.f64 1/390625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 8))))
Outputs
(sqrt.f64 (sqrt.f64 (*.f64 1/390625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 8))))

end46.0ms (2%)

Stop Event
1×done
Compiler

Compiled 39 to 31 computations (20.5% saved)

Profiling

Loading profile data...