Details

Time bar (total: 2.5s)

sample17.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify69.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

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

rewrite47.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:
4.0ms
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
3.0ms
(+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
16.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
16.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

series203.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
48.0ms
(+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
52.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
51.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

simplify80.0ms

Algorithm
egg-herbie
Counts
182 → 182
Iterations

Useful iterations: 2 (64.0ms)

IterNodesCost
05631650
128541243
250021188

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

rewrite28.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))))
16.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))

series294.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
52.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
108.0ms
(pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) 3)
81.0ms
(cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) 3))

simplify84.0ms

Algorithm
egg-herbie
Counts
145 → 145
Iterations

Useful iterations: 2 (69.0ms)

IterNodesCost
06321443
131821189
250021154

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

rewrite47.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))))
16.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
19.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))))

series230.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
46.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
52.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
80.0ms
(fma (sqrt 2.0) (sqrt 2.0) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))

simplify77.0ms

Algorithm
egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
05261616
127891199
250011150

prune350.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes37.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

sample309.0ms

Algorithm
intervals
Results
224.0ms8000×body80valid