Details

Time bar (total: 2.4s)

analyze1.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.7s (71.2%)

Results
1.7s8256×body256valid
Compiler

Compiled 54 to 44 computations (18.5% saved)

preprocess33.0ms (1.4%)

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)

simplify23.0ms (1%)

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))

rewrite30.0ms (1.3%)

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))))))))

simplify65.0ms (2.7%)

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))

prune35.0ms (1.5%)

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
(cbrt.f64 (*.f64 (pow.f64 t 3) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3)))
▶0.4b
(pow.f64 (*.f64 t 1/5000000000000000) 2)
0.6b
(*.f64 t (cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3)))
0.6b
(*.f64 t (pow.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 2))
✓0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
0.4b
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
Compiler

Compiled 291 to 221 computations (24.1% saved)

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series3.0ms (0.1%)

Counts
2 → 24
Calls

6 calls:

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

rewrite32.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
487×pow1_binary64
453×add-log-exp_binary64
453×log1p-expm1-u_binary64
453×expm1-log1p-u_binary64
443×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0611
112711
2130511
Stop Event
1×node limit
Counts
2 → 35
Calls
Call 1
Inputs
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(*.f64 t 1/5000000000000000)
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 *.f64 t (*.f64 1/5000000000000000 (*.f64 t 1/5000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/5000000000000000 (*.f64 t (*.f64 t 1/5000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 1/25000000000000000000000000000000 (*.f64 t t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/25000000000000000000000000000000 (*.f64 t t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 t 1/5000000000000000)) 2) (cbrt.f64 (pow.f64 (*.f64 t 1/5000000000000000) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 t 1/5000000000000000)) 2) (*.f64 (cbrt.f64 (*.f64 t 1/5000000000000000)) (*.f64 t 1/5000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 t 1/5000000000000000) 4)) (pow.f64 (cbrt.f64 (*.f64 t 1/5000000000000000)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 t 1/5000000000000000)) (*.f64 (sqrt.f64 (*.f64 t 1/5000000000000000)) (*.f64 t 1/5000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 t t) 1/25000000000000000000000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 t 1/5000000000000000) (sqrt.f64 (*.f64 t 1/5000000000000000))) (sqrt.f64 (*.f64 t 1/5000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 t 1/5000000000000000) (pow.f64 (cbrt.f64 (*.f64 t 1/5000000000000000)) 2)) (cbrt.f64 (*.f64 t 1/5000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 t 1/5000000000000000) 4))))) (#(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 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 (*.f64 2 (log.f64 (*.f64 t 1/5000000000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 t 1/5000000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 t 1/5000000000000000) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 t 1/5000000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 t 1/5000000000000000)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 1/25000000000000000000000000000000 (*.f64 t t)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 t 1/5000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 t) 1/5000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 t 1/5000000000000000) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 t 1/5000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 t 1/5000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 t 1/5000000000000000)))))))

simplify65.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
628×sqr-pow_binary64
502×associate-*l*_binary64
434×unswap-sqr_binary64
285×cube-prod_binary64
276×fabs-mul_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08132
115132
226132
351132
4125132
5361132
61340132
72220132
82384132
92598132
102818132
113116132
123518132
134004132
144563132
Stop Event
1×node limit
Counts
59 → 38
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))
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
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))
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)

prune23.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New36238
Fresh224
Picked101
Done011
Total39544
Error
0b
Counts
44 → 5
Alt Table
StatusErrorProgram
▶0.4b
(*.f64 1/5000000000000000 (*.f64 t (*.f64 t 1/5000000000000000)))
0.4b
(*.f64 t (*.f64 1/5000000000000000 (*.f64 t 1/5000000000000000)))
0.6b
(cbrt.f64 (*.f64 (pow.f64 t 3) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3)))
✓0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
0.4b
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
Compiler

Compiled 380 to 290 computations (23.7% saved)

localize4.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.2b
(*.f64 t 1/5000000000000000)
✓0.2b
(*.f64 t (*.f64 t 1/5000000000000000))
✓0.3b
(*.f64 1/5000000000000000 (*.f64 t (*.f64 t 1/5000000000000000)))

series2.0ms (0.1%)

Counts
2 → 24
Calls

6 calls:

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

rewrite33.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
520×pow1_binary64
481×add-log-exp_binary64
481×log1p-expm1-u_binary64
481×expm1-log1p-u_binary64
471×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

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

simplify60.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
775×sqr-pow_binary64
402×fabs-mul_binary64
386×cube-prod_binary64
381×pow-sqr_binary64
242×unswap-sqr_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08168
115168
230168
362168
4159168
5495168
6688168
71102168
81202168
91337168
101509168
111752168
122067168
132439168
142896168
153473168
164181168
Stop Event
1×node limit
Counts
48 → 28
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))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
Outputs
(*.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))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 (*.f64 t t) 1/5000000000000000)
(*.f64 t (*.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 (*.f64 t t) 1/5000000000000000)
(*.f64 t (*.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 (*.f64 t t) 1/5000000000000000)
(*.f64 t (*.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 (*.f64 t t) 1/5000000000000000)
(*.f64 t (*.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 (*.f64 t t) 1/5000000000000000)
(*.f64 t (*.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 (*.f64 t t) 1/5000000000000000)
(*.f64 t (*.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 (*.f64 t t) 1/5000000000000000)
(*.f64 t (*.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 (*.f64 t t) 1/5000000000000000)
(*.f64 t (*.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 (*.f64 t t) 1/5000000000000000)
(*.f64 t (*.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 (*.f64 t t) 1/5000000000000000)
(*.f64 t (*.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 (*.f64 t t) 1/5000000000000000)
(*.f64 t (*.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 (*.f64 t t) 1/5000000000000000)
(*.f64 t (*.f64 t 1/5000000000000000))

prune29.0ms (1.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New43043
Fresh033
Picked011
Done011
Total43548
Error
0b
Counts
48 → 5
Alt Table
StatusErrorProgram
✓0.4b
(*.f64 1/5000000000000000 (*.f64 t (*.f64 t 1/5000000000000000)))
▶0.4b
(*.f64 t (*.f64 1/5000000000000000 (*.f64 t 1/5000000000000000)))
0.6b
(cbrt.f64 (*.f64 (pow.f64 t 3) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3)))
✓0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
0.4b
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
Compiler

Compiled 440 to 341 computations (22.5% saved)

localize4.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.2b
(*.f64 t 1/5000000000000000)
✓0.3b
(*.f64 t (*.f64 1/5000000000000000 (*.f64 t 1/5000000000000000)))
✓0.3b
(*.f64 1/5000000000000000 (*.f64 t 1/5000000000000000))

series2.0ms (0.1%)

Counts
2 → 24
Calls

6 calls:

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

rewrite34.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
518×pow1_binary64
479×add-log-exp_binary64
479×log1p-expm1-u_binary64
479×expm1-log1p-u_binary64
469×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0617
112211
2136911
Stop Event
1×node limit
Counts
2 → 24
Calls
Call 1
Inputs
(*.f64 1/5000000000000000 (*.f64 t 1/5000000000000000))
(*.f64 t (*.f64 1/5000000000000000 (*.f64 t 1/5000000000000000)))
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 (sqrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 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 (exp.f64 (*.f64 t 1/25000000000000000000000000000000)))))) (#(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 1/5000000000000000 t) 2)))) (#(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 (pow.f64 (cbrt.f64 (*.f64 1/5000000000000000 t)) 2) 3)))) (#(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))))))))

simplify61.0ms (2.6%)

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))

prune22.0ms (0.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New42042
Fresh022
Picked011
Done022
Total42547
Error
0b
Counts
47 → 5
Alt Table
StatusErrorProgram
✓0.4b
(*.f64 1/5000000000000000 (*.f64 t (*.f64 t 1/5000000000000000)))
✓0.4b
(*.f64 t (*.f64 1/5000000000000000 (*.f64 t 1/5000000000000000)))
0.6b
(cbrt.f64 (*.f64 (pow.f64 t 3) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3)))
✓0.4b
(*.f64 t (*.f64 t 1/25000000000000000000000000000000))
0.4b
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
Compiler

Compiled 382 to 288 computations (24.6% saved)

regimes53.0ms (2.2%)

Accuracy

Total 0.4b remaining (97.3%)

Threshold costs 0.4b (97.3%)

Counts
24 → 1
Compiler

Compiled 220 to 171 computations (22.3% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
1910
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 1/5000000000000000 (*.f64 t (*.f64 t 1/5000000000000000)))
Outputs
(*.f64 1/5000000000000000 (*.f64 t (*.f64 t 1/5000000000000000)))
(*.f64 1/5000000000000000 (*.f64 t (*.f64 1/5000000000000000 t)))

end58.0ms (2.4%)

Stop Event
1×fuel
Compiler

Compiled 55 to 42 computations (23.6% saved)

Profiling

Loading profile data...