Details

Time bar (total: 3.7s)

analyze1.3s (34.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
0%99.8%0.2%10
0%99.8%0.2%11
0%99.8%0.2%12
3.7%96.1%0.2%13
4.2%94.5%1.3%14

sample33.0ms (0.9%)

Algorithm
1×intervals
Results
12.0ms256×body80valid
3.0ms60×body80invalid

simplify51.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
0492415
1492415

prune11.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2

localize10.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(+ (/ 1 z) 1.0)
0.0b
(+ (/ x y) (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
0.2b
(* (/ 2.0 t) (+ (/ 1 z) 1.0))

rewrite38.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity
16×add-sqr-sqrt
13×associate-*l*
11×add-cube-cbrt
10×times-frac add-log-exp
8×add-exp-log add-cbrt-cube
5×pow1 associate-*r* distribute-lft-out
4×flip3-+ flip-+
3×associate-+r+ sum-log div-inv
2×+-commutative distribute-rgt-in frac-times distribute-lft-in associate-*r/ frac-add prod-exp associate--l+ cbrt-unprod unswap-sqr
1×cbrt-undiv associate-+r- sub-neg flip3-- diff-log div-exp pow-prod-down associate-*l/ *-commutative flip--
Counts
3 → 72
Calls

3 calls:

17.0ms
(+ (/ x y) (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
12.0ms
(* (/ 2.0 t) (+ (/ 1 z) 1.0))
7.0ms
(+ (/ 1 z) 1.0)

series21.0ms (0.6%)

Counts
3 → 9
Calls

3 calls:

13.0ms
(+ (/ x y) (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
7.0ms
(* (/ 2.0 t) (+ (/ 1 z) 1.0))
2.0ms
(+ (/ 1 z) 1.0)

simplify24.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
054171049

prune139.0ms (3.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New78381
Fresh101
Picked011
Done000
Total79483

Merged error: 0.0b

Counts
83 → 4

localize10.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(+ (/ 1 z) 1.0)
0.0b
(+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
0.1b
(/ (+ (/ 1 z) 1.0) t)

rewrite34.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
30×*-un-lft-identity
15×times-frac
13×add-sqr-sqrt add-cube-cbrt
11×distribute-lft-out
10×add-log-exp
6×div-inv
5×add-exp-log add-cbrt-cube associate-/l*
3×pow1 flip3-+ associate-/r* sum-log flip-+
2×+-commutative frac-add associate-/l/
1×cbrt-undiv associate-+r- sub-neg associate-+r+ flip3-- frac-2neg diff-log div-exp clear-num flip--
Counts
3 → 67
Calls

3 calls:

16.0ms
(+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
9.0ms
(/ (+ (/ 1 z) 1.0) t)
7.0ms
(+ (/ 1 z) 1.0)

series28.0ms (0.7%)

Counts
3 → 9
Calls

3 calls:

21.0ms
(+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
4.0ms
(/ (+ (/ 1 z) 1.0) t)
3.0ms
(+ (/ 1 z) 1.0)

simplify44.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
05299993

prune119.0ms (3.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New76076
Fresh022
Picked011
Done011
Total76480

Merged error: 0.0b

Counts
80 → 4

localize10.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(+ (/ x y) (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0))
0.0b
(+ (/ 2.0 t) (/ 2.0 (* t z)))
0.4b
(/ 2.0 (* t z))

rewrite32.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
16×*-un-lft-identity
14×add-log-exp
8×add-exp-log add-cbrt-cube
6×distribute-lft-out
5×add-sqr-sqrt add-cube-cbrt sum-log
3×pow1 times-frac frac-add div-inv associate-/l*
2×cbrt-undiv +-commutative associate-+r+ flip3-+ diff-log div-exp flip-+ distribute-lft-out--
1×associate-+r- sub-neg flip3-- frac-2neg prod-exp associate--l+ clear-num associate-/r* flip-- cbrt-unprod
Counts
3 → 56
Calls

3 calls:

18.0ms
(+ (/ x y) (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0))
9.0ms
(+ (/ 2.0 t) (/ 2.0 (* t z)))
4.0ms
(/ 2.0 (* t z))

series21.0ms (0.6%)

Counts
3 → 9
Calls

3 calls:

12.0ms
(+ (/ x y) (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0))
5.0ms
(+ (/ 2.0 t) (/ 2.0 (* t z)))
3.0ms
(/ 2.0 (* t z))

simplify47.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
04974860
14974860

prune92.0ms (2.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New65065
Fresh011
Picked011
Done022
Total65469

Merged error: 0.0b

Counts
69 → 4

localize18.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.1b
(* (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t))) (+ x (* (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0) y)))
0.1b
(* y (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t))))
0.1b
(* (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0) y)
18.2b
(/ (* (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t))) (+ x (* (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0) y))) (* y (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t)))))

rewrite40.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
22×add-exp-log add-cbrt-cube
16×add-sqr-sqrt
14×flip3-+ flip-+
10×pow1 add-cube-cbrt *-un-lft-identity
9×associate-*r* associate-*l*
8×frac-times associate-*r/ associate-/l/
7×prod-exp cbrt-unprod
6×associate-*l/
4×cbrt-undiv div-exp add-log-exp
3×pow-prod-down *-commutative unswap-sqr
2×distribute-rgt-in distribute-lft-in associate-/r/
1×flip3-- frac-2neg times-frac clear-num associate-/r* flip-- div-inv associate-/l*
Counts
4 → 101
Calls

4 calls:

13.0ms
(* (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0) y)
11.0ms
(/ (* (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t))) (+ x (* (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0) y))) (* y (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t)))))
7.0ms
(* (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t))) (+ x (* (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0) y)))
5.0ms
(* y (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t))))

series75.0ms (2%)

Counts
4 → 12
Calls

4 calls:

25.0ms
(* (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t))) (+ x (* (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0) y)))
24.0ms
(/ (* (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t))) (+ x (* (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0) y))) (* y (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t)))))
14.0ms
(* y (+ 2.0 (* 2.0 (/ (+ (/ 1 z) 1.0) t))))
11.0ms
(* (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0) y)

simplify45.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
057952775

prune334.0ms (9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New1121113
Fresh000
Picked011
Done033
Total1125117

Merged error: 0b

Counts
117 → 5

regimes302.0ms (8.2%)

Accuracy

Total 0.1b remaining (76.2%)

Threshold costs 0.1b (76.2%)

bsearch0.0ms (0%)

simplify1.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02715
12715

end0.0ms (0%)

sample832.0ms (22.5%)

Algorithm
1×intervals
Results
409.0ms8000×body80valid
122.0ms2323×body80invalid

Profiling

Loading profile data...