Details

Time bar (total: 3.5s)

sample15.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify68.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 5 (19.0ms)

IterNodesCost
02017
14617
212817
334017
466217
589715
6117915
7175315
8500115

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite136.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:
7.0ms
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
7.0ms
(+ 2.0 (* (/ (* 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)))
58.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

series200.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
51.0ms
(+ 2.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)))
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 (65.0ms)

IterNodesCost
05631650
128541243
250021188

prune306.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (/ (* (* 2.0 t) 2.0) (+ 1.0 t)))
0.0b
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b
(pow (/ (* 2.0 t) (+ 1.0 t)) 3)
0.1b
(pow (/ (* 2.0 t) (+ 1.0 t)) 6)

rewrite265.0ms

Algorithm
rewrite-expression-head
Rules
260×prod-diff
245×*-un-lft-identity
224×times-frac
136×add-sqr-sqrt
131×unpow-prod-down
127×add-cube-cbrt
121×cube-prod
110×associate-/r/
57×distribute-lft-out
55×flip3-+ flip-+ div-inv
52×add-exp-log
46×add-cbrt-cube
26×fma-neg
17×prod-exp
16×div-exp cbrt-unprod
14×cbrt-undiv sqr-pow
13×pow1
12×cube-mult unpow3 swap-sqr
10×associate-*r* associate-*l*
6×pow-unpow pow-exp add-log-exp
4×expm1-log1p-u log1p-expm1-u difference-of-squares
3×rem-cube-cbrt
2×cube-div pow-to-exp pow-pow
1×pow2 frac-times sub-neg flip3-- pow-plus diff-log associate-*r/ pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up frac-sub flip-- distribute-lft-out-- unswap-sqr
Counts
4 → 447
Calls
4 calls:
151.0ms
(- (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (/ (* (* 2.0 t) 2.0) (+ 1.0 t)))
56.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
14.0ms
(pow (/ (* 2.0 t) (+ 1.0 t)) 3)
17.0ms
(pow (/ (* 2.0 t) (+ 1.0 t)) 6)

series280.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(- (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (/ (* (* 2.0 t) 2.0) (+ 1.0 t)))
45.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
64.0ms
(pow (/ (* 2.0 t) (+ 1.0 t)) 3)
74.0ms
(pow (/ (* 2.0 t) (+ 1.0 t)) 6)

simplify107.0ms

Algorithm
egg-herbie
Counts
459 → 459
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
0127610313
150027413

prune790.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (* 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
(pow (/ (* 2.0 t) (+ 1.0 t)) 3)
0.1b
(* (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (/ (* 2.0 t) (+ 1.0 t)))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
97×add-exp-log
55×add-cbrt-cube
50×*-un-lft-identity
40×times-frac
39×prod-exp
36×add-sqr-sqrt associate-*l*
30×div-exp
26×add-cube-cbrt
21×unpow-prod-down cube-prod
20×associate-*r* cbrt-unprod
18×associate-/r/
16×cbrt-undiv
13×pow1
12×swap-sqr pow-exp
11×distribute-lft-out
9×flip3-+ flip-+ div-inv
6×add-log-exp
5×unswap-sqr
4×expm1-log1p-u pow-to-exp log1p-expm1-u
3×cube-div pow-unpow fma-neg prod-diff rem-cube-cbrt sqr-pow
2×cube-mult frac-times pow-plus unpow3 associate-*r/ associate-*l/ *-commutative pow-prod-up
1×pow2 sub-neg flip3-- pow-pow diff-log pow-prod-down pow-sqr flip-- difference-of-squares
Counts
4 → 207
Calls
4 calls:
56.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
5.0ms
(- 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
14.0ms
(pow (/ (* 2.0 t) (+ 1.0 t)) 3)
73.0ms
(* (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (/ (* 2.0 t) (+ 1.0 t)))

series239.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
50.0ms
(- 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
61.0ms
(pow (/ (* 2.0 t) (+ 1.0 t)) 3)
79.0ms
(* (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (/ (* 2.0 t) (+ 1.0 t)))

simplify43.0ms

Algorithm
egg-herbie
Counts
219 → 219
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
09081692
150021401

prune425.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes28.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02830
12830

end0.0ms

sample330.0ms

Algorithm
intervals
Results
222.0ms8000×body80valid