Details

Time bar (total: 2.6s)

sample15.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify71.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 5 (20.0ms)

IterNodesCost
02017
14617
212817
334017
466217
589715
6117915
7175315
8500115

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
0.0b
(+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
0.0b
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
76×add-exp-log add-cbrt-cube
50×*-un-lft-identity
40×times-frac
30×prod-exp cbrt-unprod
26×add-sqr-sqrt
24×cbrt-undiv swap-sqr div-exp
22×add-cube-cbrt
20×associate-*r* associate-*l*
18×pow1
16×associate-/r/
12×distribute-lft-out
10×flip3-+ flip-+
8×div-inv add-log-exp
6×fma-def
4×expm1-log1p-u log1p-expm1-u
2×+-commutative pow2 frac-times pow-plus associate-*r/ pow-prod-down associate-*l/ sum-log pow-sqr *-commutative pow-prod-up unswap-sqr
Counts
4 → 170
Calls
4 calls:
3.0ms
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
4.0ms
(+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
15.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
15.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

series218.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
55.0ms
(+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
50.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
56.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

simplify82.0ms

Algorithm
egg-herbie
Counts
182 → 182
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
05631650
128541243
250021188

prune330.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
0.0b
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b
(pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) 3)
0.5b
(cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) 3))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
41×add-exp-log add-cbrt-cube
33×*-un-lft-identity
21×add-sqr-sqrt
20×times-frac
19×add-cube-cbrt
15×prod-exp cbrt-unprod
12×pow1 cbrt-undiv cbrt-prod swap-sqr div-exp
10×associate-*r* associate-*l*
8×associate-/r/
6×unpow-prod-down cube-prod distribute-lft-out add-log-exp
5×flip3-+ flip-+
4×expm1-log1p-u log1p-expm1-u div-inv
3×pow-unpow fma-def
2×cube-mult unpow3 sqr-pow
1×+-commutative pow2 frac-times pow-to-exp pow-pow pow-plus pow1/3 associate-*r/ pow-prod-down associate-*l/ pow-exp sum-log pow-sqr *-commutative pow-prod-up rem-cbrt-cube rem-cube-cbrt unswap-sqr
Counts
4 → 133
Calls
4 calls:
3.0ms
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
18.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
2.0ms
(pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) 3)
2.0ms
(cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) 3))

series305.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
54.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
115.0ms
(pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) 3)
86.0ms
(cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) 3))

simplify86.0ms

Algorithm
egg-herbie
Counts
145 → 145
Iterations

Useful iterations: 2 (72.0ms)

IterNodesCost
06321445
131821191
250011154

prune326.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
0.0b
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.5b
(fma (sqrt 2.0) (sqrt 2.0) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
76×add-exp-log add-cbrt-cube
49×*-un-lft-identity
40×times-frac
30×prod-exp cbrt-unprod
25×add-sqr-sqrt
24×cbrt-undiv swap-sqr div-exp
21×add-cube-cbrt
20×associate-*r* associate-*l*
18×pow1
16×associate-/r/
12×distribute-lft-out
9×flip3-+ flip-+
8×div-inv
6×add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×fma-def
2×pow2 frac-times pow-plus associate-*r/ pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up unswap-sqr
1×+-commutative sum-log fma-udef
Counts
4 → 164
Calls
4 calls:
3.0ms
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
15.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
15.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
1.0ms
(fma (sqrt 2.0) (sqrt 2.0) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))

series236.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
54.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
48.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
82.0ms
(fma (sqrt 2.0) (sqrt 2.0) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))

simplify85.0ms

Algorithm
egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 2 (65.0ms)

IterNodesCost
05261616
127891199
250011150

prune359.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes34.0ms

Accuracy

0% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 0.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01618
11618

end0.0ms

sample308.0ms

Algorithm
intervals
Results
216.0ms8000×body80valid