Details

Time bar (total: 9.1s)

analyze1.1s

Algorithm
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
1.6%98.2%0.2%9
2.3%97.5%0.2%10
11.7%88.1%0.2%11
13.1%74.3%12.7%12
16.1%70.5%13.5%13
18.6%68%13.5%14

sample89.0ms

Algorithm
intervals
Results
30.0ms52×body1280valid
16.0ms44×body640valid
8.0ms112×body80valid
6.0ms31×body320valid
2.0ms51×body80nan
2.0ms17×body160valid
2.0ms7×body640nan
2.0ms5×body1280nan
1.0ms25×body80overflowed
1.0ms8×body320nan
1.0ms9×body160nan
0.0ms1×body80invalid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02413
12413

prune10.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 14.1b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(* y (exp z))
0.0b
(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
1.0b
(log (+ 1.0 (- (* y (exp z)) y)))
3.3b
(- (* y (exp z)) y)

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt *-un-lft-identity
16×add-cube-cbrt
12×times-frac
11×pow1
8×add-exp-log add-cbrt-cube
6×add-log-exp
5×log-pow
4×log-div log-prod associate-/l*
3×associate-*r* associate-*l* associate-/r*
2×flip3-+ div-sub flip-+
1×cbrt-undiv sub-neg flip3-- frac-2neg diff-log div-exp rem-log-exp pow-prod-down prod-exp clear-num *-commutative flip-- cbrt-unprod div-inv distribute-lft-out unswap-sqr
Counts
4 → 77
Calls
4 calls:
5.0ms
(* y (exp z))
8.0ms
(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
6.0ms
(log (+ 1.0 (- (* y (exp z)) y)))
5.0ms
(- (* y (exp z)) y)

series65.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(* y (exp z))
40.0ms
(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
14.0ms
(log (+ 1.0 (- (* y (exp z)) y)))
7.0ms
(- (* y (exp z)) y)

simplify50.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
050011198

prune165.0ms

Filtered
70 candidates to 89 candidates (-27.1%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New81889
Fresh000
Picked101
Done000
Total82890

Merged error: 3.4b

Counts
90 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(* y (exp z))
0.1b
(* (log (+ 1.0 (- (* y (exp z)) y))) (/ 1 t))
1.0b
(log (+ 1.0 (- (* y (exp z)) y)))
3.3b
(- (* y (exp z)) y)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
18×*-un-lft-identity
16×associate-*r*
15×add-exp-log add-cube-cbrt
11×times-frac add-cbrt-cube
10×pow1
7×associate-*l*
6×add-log-exp
5×prod-exp
4×log-prod unswap-sqr
3×cbrt-unprod
2×log-div div-exp pow-prod-down log-pow *-commutative
1×cbrt-undiv sub-neg rec-exp flip3-- flip3-+ diff-log 1-exp associate-*r/ rem-log-exp un-div-inv flip-- flip-+ div-inv distribute-lft-out
Counts
4 → 81
Calls
4 calls:
5.0ms
(* y (exp z))
7.0ms
(* (log (+ 1.0 (- (* y (exp z)) y))) (/ 1 t))
6.0ms
(log (+ 1.0 (- (* y (exp z)) y)))
5.0ms
(- (* y (exp z)) y)

series65.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(* y (exp z))
38.0ms
(* (log (+ 1.0 (- (* y (exp z)) y))) (/ 1 t))
13.0ms
(log (+ 1.0 (- (* y (exp z)) y)))
9.0ms
(- (* y (exp z)) y)

simplify47.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
052131118

prune151.0ms

Filtered
71 candidates to 93 candidates (-31.0%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New91293
Fresh077
Picked011
Done000
Total9110101

Merged error: 3.4b

Counts
101 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
2.4b
(log (+ 1.0 (- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)))
27.8b
(- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity
8×add-cube-cbrt
7×add-sqr-sqrt
6×cbrt-prod add-log-exp
5×pow1 add-exp-log
4×log-prod add-cbrt-cube
2×log-div pow1/3
1×sub-neg flip3-- flip3-+ diff-log rem-log-exp log-pow flip-- flip-+ distribute-lft-out distribute-lft-out--
Counts
4 → 49
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
10.0ms
(log (+ 1.0 (- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)))
11.0ms
(- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)

series70.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt y)
21.0ms
(cbrt y)
16.0ms
(log (+ 1.0 (- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)))
12.0ms
(- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)

simplify54.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
04966533
14966533

prune106.0ms

Filtered
47 candidates to 61 candidates (-29.8%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New61061
Fresh088
Picked011
Done011
Total611071

Merged error: 3.4b

Counts
71 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (+ 1.0 (* z 0.5)))
0.0b
(- x (* (+ (log 1.0) (* y (* z (+ 1.0 (* z 0.5))))) (/ 1 t)))
2.6b
(* y (* z (+ 1.0 (* z 0.5))))
3.9b
(* (+ (log 1.0) (* y (* z (+ 1.0 (* z 0.5))))) (/ 1 t))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
20×add-exp-log
17×associate-*r*
16×*-un-lft-identity add-cbrt-cube
15×add-cube-cbrt
13×pow1
11×times-frac
9×associate-*l*
8×prod-exp
7×associate-*r/
6×cbrt-unprod add-log-exp
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×flip3-+ flip-+ unswap-sqr
3×*-commutative
2×frac-times div-exp associate-*l/
1×cbrt-undiv sub-neg rec-exp flip3-- diff-log 1-exp un-div-inv flip-- div-inv
Counts
4 → 97
Calls
4 calls:
7.0ms
(* z (+ 1.0 (* z 0.5)))
2.0ms
(- x (* (+ (log 1.0) (* y (* z (+ 1.0 (* z 0.5))))) (/ 1 t)))
6.0ms
(* y (* z (+ 1.0 (* z 0.5))))
8.0ms
(* (+ (log 1.0) (* y (* z (+ 1.0 (* z 0.5))))) (/ 1 t))

series64.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(* z (+ 1.0 (* z 0.5)))
29.0ms
(- x (* (+ (log 1.0) (* y (* z (+ 1.0 (* z 0.5))))) (/ 1 t)))
8.0ms
(* y (* z (+ 1.0 (* z 0.5))))
21.0ms
(* (+ (log 1.0) (* y (* z (+ 1.0 (* z 0.5))))) (/ 1 t))

simplify43.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
049821605
149821605

prune149.0ms

Filtered
72 candidates to 109 candidates (-51.4%)
Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New1027109
Fresh167
Picked101
Done022
Total10415119

Merged error: 3.4b

Counts
119 → 15

regimes695.0ms

Accuracy

62% (4.2b remaining)

Error of 7.7b against oracle of 3.5b and baseline of 14.6b

bsearch2.3s

Steps
ItersRangePoint
9
-2.551842750570314e-74
-9.520042669060767e-82
-2.039167913526232e-80
9
-31796612.003205948
-206.1681675444722
-208.32873466379357

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05262
15262

end0.0ms

analyze1.1s

Algorithm
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
1.6%98.2%0.2%9
2.3%97.5%0.2%10
11.7%88.1%0.2%11
13.1%74.3%12.7%12
16.1%70.5%13.5%13
18.6%68%13.5%14

sample2.6s

Algorithm
intervals
Results
842.0ms1432×body1280valid
520.0ms1548×body640valid
253.0ms3549×body80valid
202.0ms900×body320valid
107.0ms80×body2560valid
74.0ms1579×body80nan
68.0ms491×body160valid
51.0ms212×body640nan
45.0ms122×body1280nan
43.0ms795×body80overflowed
32.0ms169×body320nan
12.0ms114×body160nan
1.0ms12×body80invalid
0.0ms1×body160invalid

Profiling

Loading profile data...